|
|
Conferences in DBLP
- Vaughan R. Pratt
Event Spaces and their Linear Logic. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:3-25 [Conf]
- Egidio Astesiano, Alessandro Giovini, Franco Morando, Gianna Reggio
Algebraic Specification at Work. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:26-42 [Conf]
- Francesco Parisi-Presicce
On the Reusability of Specifications and Implementations. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:43-56 [Conf]
- David Eichmann
Selecting Reusable Components Using Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:57-69 [Conf]
- G. Steve Hirst, T. B. Dinesh
The Combination of Specifications and the Induced Relations in Object Oriented Programs. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:70-77 [Conf]
- André Arnold
MEC: A System for Constructing and Analysis Transition Systems. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:81-82 [Conf]
- Gil Zvi Deutsch, S. Kaplan
Algebraic Semantics of Real-Time Process Specifications. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:83-97 [Conf]
- Ryszard Janicki, Maciej Koutny
Structure of Concurrency. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:98-107 [Conf]
- Paola Inverardi, Monica Nesi
On Rewriting Behavioral Semantics in Process Algebras. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:108-116 [Conf]
- Maria Zamfir Bleyberg
Modeling Concurrency with AND/OR Algebraic Theories. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:117-131 [Conf]
- Aurel Cornell
Type Consistency Checking for Concurrent Independent Processes. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:132-141 [Conf]
- Hartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas
Theory of Algebraic Module Specification including Behavioral Semantics and Constraints. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:145-172 [Conf]
- Pierre-Yves Schobbens
Clean Algebraic Exception with Implicit Propagation. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:173-186 [Conf]
- Werner Fey
ACT TWO: An Algebraic Module Specification and Interconnection Language. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:187-200 [Conf]
- Carolyn L. Talcott
Towards a Theory of Binding Structures: An Abstract Algebra. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:201-215 [Conf]
- Gilles Bernot, Michel Bidoit
Proving the Correctness of Algebraically Specified Software: Modularity and Observability Issues. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:216-239 [Conf]
- Gilles Bernot, Marie-Claude Gaudel, Bruno Marre
A Formal Approach to Software Testing. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:243-253 [Conf]
- Heinrich Hussmann
A Case Study Towards Algebraic Verification of Code. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:254-263 [Conf]
- John Knaack, Teodor Rus
TwoLev: A Two Level Scanner. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:264-276 [Conf]
- Emma van der Meulen
Deriving Incremental Implementations from Algebraic. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:277-286 [Conf]
- Jiazhen Cai, Robert Paige
Language Polynomial in the Input Plus Output. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:287-300 [Conf]
- Roland Carl Backhouse, Peter J. de Bruin, Paul F. Hoogendijk, Grant Malcolm, Ed Voermans, Jaap van der Woude
Polynomial Relators (Extended Abstract). [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:303-326 [Conf]
- Val Breazu-Tannen, Ramesh Subrahmanyam
On Adding Algebraic Theories with Induction to Typed Lambda Calculi. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:327-340 [Conf]
- Scott F. Smith
Extracting Recursive Programs in Type Theory. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:341-349 [Conf]
- Hantao Zhang, Angshuman Guha, Xin Hua
Using Algebraic Specification in Floyd-Hoare Assertions. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:350-362 [Conf]
- Emmanuel Kounalis, Michaël Rusinowitch
Studies on the Ground Convergence Property of Conditional Theories. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:363-376 [Conf]
- Muffy Thomas, Phil Watson
Solving Divergence in Knuth-Bendix Completion by Enriching Signatures. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:377-390 [Conf]
- Neil D. Jones
Efficient Algebraic Operations on Programs. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:393-420 [Conf]
- Einar W. Karlsen, Bernd Krieg-Brückner, Owen Traynor
The PROSPECTRA System: A Unified Development Framework. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:421-433 [Conf]
- Henk Eertink
Tools for Algebraic Distributed System Design. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:434-442 [Conf]
- Daniela Rus
A Framework for Dexterous Manipulation using Lie Algebras. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:443-455 [Conf]
- Yellamraju V. Srinivas
Pattern Matching: A Sheaf-Theoretic Approach. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:456-466 [Conf]
- Didier Bert, Christine Lafontaine
Integration of Semantical Verification Conditions in a Specification Language Definition. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:467-477 [Conf]
- Kevin Lano, Howard P. Haughton
An Algebraic Semantics for the Specification Language Z++. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:478-493 [Conf]
- Irène Guessarian
About Algebras, Fixpoints and Semantics. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:497-528 [Conf]
- Richard Marciano, Teodor Rus
Algebraic Construction of Program Representation Graphs. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:529-546 [Conf]
- G. Ramalingam, Thomas W. Reps
Modification Algebras. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:547-558 [Conf]
- Huajun Qin, Philip Lewis
Decomposition of Finite State Machines under Isomorphic and Bisimulation Equivalences. [Citation Graph (0, 0)][DBLP]
AMAST, 1991, pp:559-570 [Conf]
|
