1994 share record
persistent URL:
Martín Abadi , Leslie Lamport : Decomposing Specifications of Concurrent Systems. PROCOMET 1994 : 327-340 share record
persistent URL:
Ralph-Johan Back , Kaisa Sere : Action Systems with Synchronous Communication. PROCOMET 1994 : 107-126 share record
persistent URL:
Frank S. de Boer : Compositionality in the Inductive Assertion Method for Concurrent Systems. PROCOMET 1994 : 289-305 share record
persistent URL:
Egon Börger , Igor Durdanovic , Dean Rosenzweig : Occam: Specification and Compiler Correctness - Part I: The Primary Model. PROCOMET 1994 : 489-508 share record
persistent URL:
James M. Boyle : Automatic, Self-adaptive Control and Unfold Transformations. PROCOMET 1994 : 83-103 share record
persistent URL:
Nadia Busi , Rob J. van Glabbeek , Roberto Gorrieri : Axiomatising ST-Bisimulation Equivalence. PROCOMET 1994 : 169-188 export record
dblp key:
conf/procomet/CorradiniELMR94 share record
persistent URL:
Andrea Corradini , Hartmut Ehrig , Michael Löwe , Ugo Montanari , Francesca Rossi : An Event Structure Semantics for Safe Graph Grammars. PROCOMET 1994 : 423-444 share record
persistent URL:
Werner Damm , Johannes Helbig : Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams. PROCOMET 1994 : 341-359 share record
persistent URL:
Henk Doornbos : A Relational Model of Programs Without the Restriction to Egli-Milner-Monotone Constructs. PROCOMET 1994 : 363-382 export record
dblp key:
conf/procomet/FrancescoMR94 share record
persistent URL:
Nicoletta De Francesco , Ugo Montanari , Gioia Ristori : Modelling Concurrent Accesses to Shared Data via Petri Nets. PROCOMET 1994 : 403-422 share record
persistent URL:
Muriel Jourdan , Florence Maraninchi : Studying Synchronous Communication Mechanisms by Abstractions. PROCOMET 1994 : 189-205 export record
dblp key:
conf/procomet/KaldewaijD94 share record
persistent URL:
Anne Kaldewaij , Victor J. Dielissen : Decomposable Functions and Leaf Trees: A Systematic Approach. PROCOMET 1994 : 3-17 share record
persistent URL:
Burghard von Karger : Plotkin, Hoare and Smyth Order: On Observational Models for CSP. PROCOMET 1994 : 383-402 share record
persistent URL:
K. Rustan M. Leino , Jan L. A. van de Snepscheut : Semantics of Exceptions. PROCOMET 1994 : 447-466 share record
persistent URL:
Bernhard Möller : Ideal Streams. PROCOMET 1994 : 39-58 export record
dblp key:
conf/procomet/Moszkowski94 share record
persistent URL:
Ben C. Moszkowski : Some Very Compositional Temporal Properties. PROCOMET 1994 : 307-326 share record
persistent URL:
David A. Naumann : Predicate Transformer Semantics of an Oberon-Like Language. PROCOMET 1994 : 467-487 share record
persistent URL:
Arend Rensink : Methodological Aspects of Action Refinement. PROCOMET 1994 : 227-246 export record
dblp key:
conf/procomet/Sangiorgi94 share record
persistent URL:
Davide Sangiorgi : Bisimulation in Higher-Order Process Calculi. PROCOMET 1994 : 207-224 share record
persistent URL:
Heinz W. Schmidt , Wolf Zimmermann : Reasoning about Complexity of Object-Oriented Programs. PROCOMET 1994 : 553-572 share record
persistent URL:
Martin Simons , Maya Biersack , Robert Raschke : Literate and Structured Presentation of Formal Proofs. PROCOMET 1994 : 61-81 share record
persistent URL:
Yellamraju V. Srinivas : Augmenting Algebraic Specifications with Structured Sorts and Structural Subsorting. PROCOMET 1994 : 531-550 share record
persistent URL:
Martin Steffen , Benjamin C. Pierce : Higher-Order Subtyping. PROCOMET 1994 : 511-530 share record
persistent URL:
Mario Südholt : Data Distribution Algebras - A Formal Basis for Programming Using Skeletons. PROCOMET 1994 : 19-38 share record
persistent URL:
Rob T. Udink , Ted Herman , Joost N. Kok : Progress for Local Variables in UNITY. PROCOMET 1994 : 127-146 share record
persistent URL:
Andrew C. Uselton , Scott A. Smolka : A Process Algebraic Semantics for Statecharts via State Refinement. PROCOMET 1994 : 267-286 share record
persistent URL:
Chris Verhoef : A General Conservative Extension Theorem in Process Algebra. PROCOMET 1994 : 149-168 share record
persistent URL:
Heike Wehrheim : Parametric Action Refinement. PROCOMET 1994 : 247-266 share record
persistent URL:
Ernst-Rüdiger Olderog : Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET '94) San Miniato, Italy, 6-10 June, 1994. IFIP Transactions A-56, North-Holland 1994 , ISBN 0-444-82020-5 [contents]