default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3. AMAST 1993: Twente, The Netherlands
- Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo:
Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993. Workshops in Computing, Springer 1994, ISBN 3-540-19852-0
Invited Papers
- Hajnal Andréka, István Németi, Ildikó Sain:
Applying Algebraic Logic to Logic. AMAST 1993: 5-26 - Roger D. Maddux:
Relation Algebras for Reasoning about Time and Space. AMAST 1993: 27-44 - Michael Johnson, Christopher N. G. Dampney:
On the Value of Commutative Diagrams in Information Modelling. AMAST 1993: 45-58 - Steve A. Schneider:
Rigorous Specification of Real-Time Systems. AMAST 1993: 59-74 - Rob J. van Glabbeek:
Full Abstraction in Structural Operational Semantics (Extended Abstract). AMAST 1993: 75-82 - Nicolas Halbwachs, Fabienne Lagnier, Pascal Raymond:
Synchronous Observers and the Verification of Reactive Systems. AMAST 1993: 83-96 - Hubert Comon:
Constraints in Term Algebras (Short Survey). AMAST 1993: 97-108 - Roberto Giacobazzi, Giorgio Levi, Saumya K. Debray:
Joining Abstract and Concrete Computations in Constraint Logic Programming. AMAST 1993: 109-126
Communications
- Don Pigozzi, Antonino Salibra:
Dimension-Complemented Lambda Abstraction Algebras. AMAST 1993: 129-136 - Till Mossakowski:
Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods. AMAST 1993: 137-144 - Tim Sheard:
Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-time Reflection. AMAST 1993: 145-152 - Dominique Bolignano, Mourad Debbabi:
A Coherent Type System for a Concurrent, Functional and Imperative Programming Language. AMAST 1993: 153-162 - Chris Brink, Katarina Britz:
Peirce Algebras. AMAST 1993: 163-166 - Rudolf Berghammer, Armando Martin Haeberer, Gunther Schmidt, Paulo A. S. Veloso:
Comparing Two Different Approaches to Products in Abstract Relation Algebra. AMAST 1993: 167-176 - Martin Erwig:
Specifying Type Systems with Multi-Level Order-Sorted Algebra. AMAST 1993: 177-184 - Peter Thiemann:
An Overview of the SODA System. AMAST 1993: 185-192 - Gillian Hill:
Category Theory for the Configuration of Complex Systems. AMAST 1993: 193-200 - Maura Cerioli, Gianna Reggio:
Algebraic-Oriented Institutions. AMAST 1993: 201-208 - Marisa Navarro, Fernando Orejas, Ana Sánchez:
On the Correctness of Modular Systems. AMAST 1993: 209-216 - Hartmut Ehrig, Francesco Parisi-Presicce:
Interaction between Algebraic Specification Grammars and Modular System Design. AMAST 1993: 217-224 - R. K. Shyamasundar:
Specification of Hybrid Systems in CRP. AMAST 1993: 225-236 - Aurel Cornell, John Knaack, A. Nangia, Teodor Rus:
Real-Time Program Synthesis from Specifications. AMAST 1993: 237-244 - Ed Brinksma:
On the Coverage of Partial Validations. AMAST 1993: 245-252 - Khalil Drira, Pierre Azéma:
Verifying Communication Protocols Via Testing-Projection. AMAST 1993: 253-262 - Pasquale Malacaria:
Equivalences of Transition Systems in an Algebraic Framework. AMAST 1993: 263-270 - Eugenio Battiston, V. Crespi, Fiorella de Cindio, Giancarlo Mauri:
Semantics Frameworks for a Class of Modular Algebraic Nets. AMAST 1993: 271-280 - David de Frutos-Escrig:
A Characterization of LOTOS Representable Networks of Parallel Processes. AMAST 1993: 281-288 - Roberto Gorrieri, Marco Roccetti:
Towards Performance Evaluation in Process Algebras. AMAST 1993: 289-296 - François Laroussinie, Sophie Pinchinat, Philippe Schnoebelen:
Translation Results for Modal Logics of Reactive Systems. AMAST 1993: 297-306 - Ismar Neumann Kaufman, Silvio Romero de Lemos Meira:
Modal Action Logic in a Practical Specification Language. AMAST 1993: 307-314 - Abdelillah Mokkedem, Dominique Méry:
On Using a Composition Principle to Design Parallel Programs. AMAST 1993: 315-324 - Nicoletta Sabadini, Sebastiano Vigna, Robert F. C. Walters:
A Notion of Refinement for Automata. AMAST 1993: 325-332 - Eric G. Wagner:
The Role of Memory in Object-based and Object-oriented Languages. AMAST 1993: 333-342 - Ruth Breu, Michael Breu:
Abstract and Concrete Objects - An Algebraic Design Method for Object-Based Systems. AMAST 1993: 343-348 - Xue-Miao Lu, Tharam S. Dillon:
Towards an Algebraic Theory of Inheritance in Project Oriented Programming. AMAST 1993: 349-358 - Martin Gogolla, Ingo Claßen:
An Object-Oriented Design for the ACT ONE Environment. AMAST 1993: 359-366 - Julio García-Martín, Juan José Moreno-Navarro:
A Formal Definition of an Abstract Prolog Compiler (Extended Abstract). AMAST 1993: 367-376 - Valentin M. Antimirov, Anatoli Degtyarev:
Completeness of Equational Definitions over Predefined Algebras. AMAST 1993: 377-384 - George Loegel, Chinya V. Ravishankar:
An Algebraic Approach to Modeling in Software Engineering. AMAST 1993: 385-392 - Elizabeth A. Scott:
Automated Proof of the Correctness of a Compiling Specification. AMAST 1993: 393-400
System Demonstrations
- Rudolf Berghammer, Gunther Schmidt:
RELVIEW - A Computer System for the Manipulation of Relations. AMAST 1993: 403-404 - Claudia Hattensperger, Rudolf Berghammer, Gunther Schmidt:
RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker. AMAST 1993: 405-406 - Naima Brown, Dominique Méry:
Towards an Integrated Environment for Concurrent programs Development. AMAST 1993: 407-408 - Thony van der Vloedt:
The LOTOS Toolbox. AMAST 1993: 409-410 - Arie van Deursen, T. B. Dinesh, Emma van der Meulen:
The ASF+SDF Meta-environment. AMAST 1993: 411-412 - Arie van Deursen, Peter D. Mosses:
Executing Action Semantic Descriptions using ASF+SDF. AMAST 1993: 413-414
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-08 00:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
