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