Abstract is missing.
- Applying Algebraic Logic to LogicHajnal Andréka, István Németi, Ildikó Sain. 5-26
- Relation Algebras for Reasoning about Time and SpaceRoger D. Maddux. 27-44
- On the Value of Commutative Diagrams in Information ModellingMichael Johnson, Christopher N. G. Dampney. 45-58
- Rigorous Specification of Real-Time SystemsSteve Schneider. 59-74
- Full Abstraction in Structural Operational Semantics (Extended Abstract)Rob J. van Glabbeek. 75-82
- Synchronous Observers and the Verification of Reactive SystemsNicolas Halbwachs, Fabienne Lagnier, Pascal Raymond. 83-96
- Constraints in Term Algebras (Short Survey)Hubert Comon. 97-108
- Joining Abstract and Concrete Computations in Constraint Logic ProgrammingRoberto Giacobazzi, Giorgio Levi, Saumya K. Debray. 109-126
- Dimension-Complemented Lambda Abstraction AlgebrasDon Pigozzi, Antonino Salibra. 129-136
- Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification MethodsTill Mossakowski. 137-144
- Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-time ReflectionTim Sheard. 145-152
- A Coherent Type System for a Concurrent, Functional and Imperative Programming LanguageDominique Bolignano, Mourad Debbabi. 153-162
- Peirce AlgebrasChris Brink, Katarina Britz. 163-166
- Comparing Two Different Approaches to Products in Abstract Relation AlgebraRudolf Berghammer, Armando Martin Haeberer, Gunther Schmidt, Paulo A. S. Veloso. 167-176
- Specifying Type Systems with Multi-Level Order-Sorted AlgebraMartin Erwig. 177-184
- An Overview of the SODA SystemPeter Thiemann. 185-192
- Category Theory for the Configuration of Complex SystemsGillian Hill. 193-200
- Algebraic-Oriented InstitutionsMaura Cerioli, Gianna Reggio. 201-208
- On the Correctness of Modular SystemsMarisa Navarro, Fernando Orejas, Ana Sánchez. 209-216
- Interaction between Algebraic Specification Grammars and Modular System DesignHartmut Ehrig, Francesco Parisi-Presicce. 217-224
- Specification of Hybrid Systems in CRPR. K. Shyamasundar. 225-236
- Real-Time Program Synthesis from SpecificationsAurel Cornell, John Knaack, A. Nangia, Teodor Rus. 237-244
- On the Coverage of Partial ValidationsEd Brinksma. 245-252
- Verifying Communication Protocols Via Testing-ProjectionKhalil Drira, Pierre Azéma. 253-262
- Equivalences of Transition Systems in an Algebraic FrameworkPasquale Malacaria. 263-270
- Semantics Frameworks for a Class of Modular Algebraic NetsEugenio Battiston, V. Crespi, Fiorella de Cindio, Giancarlo Mauri. 271-280
- A Characterization of LOTOS Representable Networks of Parallel ProcessesDavid de Frutos-Escrig. 281-288
- Towards Performance Evaluation in Process AlgebrasRoberto Gorrieri, Marco Roccetti. 289-296
- Translation Results for Modal Logics of Reactive SystemsFrançois Laroussinie, Sophie Pinchinat, Ph. Schnoebelen. 297-306
- Modal Action Logic in a Practical Specification LanguageIsmar Neumann Kaufman, Silvio Romero de Lemos Meira. 307-314
- On Using a Composition Principle to Design Parallel ProgramsAbdelillah Mokkedem, Dominique Méry. 315-324
- A Notion of Refinement for AutomataNicoletta Sabadini, Sebastiano Vigna, Robert F. C. Walters. 325-332
- The Role of Memory in Object-based and Object-oriented LanguagesEric G. Wagner. 333-342
- Abstract and Concrete Objects - An Algebraic Design Method for Object-Based SystemsRuth Breu, Michael Breu. 343-348
- Towards an Algebraic Theory of Inheritance in Project Oriented ProgrammingXue-Miao Lu, Tharam S. Dillon. 349-358
- An Object-Oriented Design for the ACT ONE EnvironmentMartin Gogolla, Ingo Claßen. 359-366
- A Formal Definition of an Abstract Prolog Compiler (Extended Abstract)Julio García-Martín, Juan José Moreno-Navarro. 367-376
- Completeness of Equational Definitions over Predefined AlgebrasValentin M. Antimirov, Anatoli Degtyarev. 377-384
- An Algebraic Approach to Modeling in Software EngineeringGeorge Loegel, Chinya V. Ravishankar. 385-392
- Automated Proof of the Correctness of a Compiling SpecificationElizabeth A. Scott. 393-400
- RELVIEW - A Computer System for the Manipulation of RelationsRudolf Berghammer, Gunther Schmidt. 403-404
- RALF - A Relation-Algebraic Formula Manipulation System and Proof CheckerClaudia Hattensperger, Rudolf Berghammer, Gunther Schmidt. 405-406
- Towards an Integrated Environment for Concurrent programs DevelopmentNaima Brown, Dominique Méry. 407-408
- The LOTOS ToolboxThony van der Vloedt. 409-410
- The ASF+SDF Meta-environmentArie van Deursen, T. B. Dinesh, Emma van der Meulen. 411-412
- Executing Action Semantic Descriptions using ASF+SDFArie van Deursen, Peter D. Mosses. 413-414