Abstract is missing.
- Event Spaces and their Linear LogicVaughan R. Pratt. 3-25
- Algebraic Specification at WorkEgidio Astesiano, Alessandro Giovini, Franco Morando, Gianna Reggio. 26-42
- On the Reusability of Specifications and ImplementationsFrancesco Parisi-Presicce. 43-56
- Selecting Reusable Components Using Algebraic SpecificationsDavid Eichmann. 57-69
- The Combination of Specifications and the Induced Relations in Object Oriented ProgramsG. Steve Hirst, T. B. Dinesh. 70-77
- MEC: A System for Constructing and Analysis Transition SystemsAndré Arnold. 81-82
- Algebraic Semantics of Real-Time Process SpecificationsGil Zvi Deutsch, S. Kaplan. 83-97
- Structure of ConcurrencyRyszard Janicki, Maciej Koutny. 98-107
- On Rewriting Behavioral Semantics in Process AlgebrasPaola Inverardi, Monica Nesi. 108-116
- Modeling Concurrency with AND/OR Algebraic TheoriesMaria Zamfir Bleyberg. 117-131
- Type Consistency Checking for Concurrent Independent ProcessesAurel Cornell. 132-141
- Theory of Algebraic Module Specification including Behavioral Semantics and ConstraintsHartmut Ehrig, Michael Baldamus, Felix Cornelius, Fernando Orejas. 145-172
- Clean Algebraic Exception with Implicit PropagationPierre Yves Schobbens. 173-186
- ACT TWO: An Algebraic Module Specification and Interconnection LanguageWerner Fey. 187-200
- Towards a Theory of Binding Structures: An Abstract AlgebraCarolyn L. Talcott. 201-215
- Proving the Correctness of Algebraically Specified Software: Modularity and Observability IssuesGilles Bernot, Michel Bidoit. 216-239
- A Formal Approach to Software TestingGilles Bernot, Marie-Claude Gaudel, Bruno Marre. 243-253
- A Case Study Towards Algebraic Verification of CodeHeinrich Hussmann. 254-263
- TwoLev: A Two Level ScannerJohn Knaack, Teodor Rus. 264-276
- Deriving Incremental Implementations from AlgebraicEmma van der Meulen. 277-286
- Language Polynomial in the Input Plus OutputJiazhen Cai, Robert Paige. 287-300
- Polynomial Relators (Extended Abstract)Roland Carl Backhouse, Peter J. de Bruin, Paul F. Hoogendijk, Grant Malcolm, Ed Voermans, Jaap van der Woude. 303-326
- On Adding Algebraic Theories with Induction to Typed Lambda CalculiVal Breazu-Tannen, Ramesh Subrahmanyam. 327-340
- Extracting Recursive Programs in Type TheoryScott F. Smith. 341-349
- Using Algebraic Specification in Floyd-Hoare AssertionsHantao Zhang, Angshuman Guha, Xin Hua. 350-362
- Studies on the Ground Convergence Property of Conditional TheoriesEmmanuel Kounalis, Michaël Rusinowitch. 363-376
- Solving Divergence in Knuth-Bendix Completion by Enriching SignaturesMuffy Thomas, Phil Watson. 377-390
- Efficient Algebraic Operations on ProgramsNeil D. Jones. 393-420
- The PROSPECTRA System: A Unified Development FrameworkEinar W. Karlsen, Bernd Krieg-Brückner, Owen Traynor. 421-433
- Tools for Algebraic Distributed System DesignHenk Eertink. 434-442
- A Framework for Dexterous Manipulation using Lie AlgebrasDaniela Rus. 443-455
- Pattern Matching: A Sheaf-Theoretic ApproachYellamraju V. Srinivas. 456-466
- Integration of Semantical Verification Conditions in a Specification Language DefinitionDidier Bert, Christine Lafontaine. 467-477
- An Algebraic Semantics for the Specification Language Z:::++:::Kevin Lano, Howard P. Haughton. 478-493
- About Algebras, Fixpoints and SemanticsIrène Guessarian. 497-528
- Algebraic Construction of Program Representation GraphsRichard Marciano, Teodor Rus. 529-546
- Modification AlgebrasGanesan Ramalingam, Thomas W. Reps. 547-558
- Decomposition of Finite State Machines under Isomorphic and Bisimulation EquivalencesHuajun Qin, Philip Lewis. 559-570