PROCOMET 1994: San Miniato, Italy

Ernst-Rüdiger Olderog (Ed.): 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 BibTeX

@proceedings{DBLP:conf/procomet/1994,
  editor    = {Ernst-R{\"u}diger Olderog},
  title     = {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},
  booktitle = {PROCOMET},
  publisher = {North-Holland},
  series    = {IFIP Transactions},
  volume    = {A-56},
  year      = {1994},
  isbn      = {0-444-82020-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Mathematics of Program Derivation

Anne Kaldewaij, Victor J. Dielissen: Decomposable Functions and Leaf Trees: A Systematic Approach. 3-17 BibTeX
Mario Südholt: Data Distribution Algebras - A Formal Basis for Programming Using Skeletons. 19-38 BibTeX
Bernhard Möller: Ideal Streams. 39-58 BibTeX

Support of Program Derivation

Martin Simons, Maya Biersack, Robert Raschke: Literate and Structured Presentation of Formal Proofs. 61-81 BibTeX
James M. Boyle: Automatic, Self-adaptive Control and Unfold Transformations. 83-103 BibTeX

Design of Concurrent Systems

Ralph-Johan Back, Kaisa Sere: Action Systems with Synchronous Communication. 107-126 BibTeX
Rob T. Udink, Ted Herman, Joost N. Kok: Progress for Local Variables in UNITY. 127-146 BibTeX

Process Algebra

Chris Verhoef: A General Conservative Extension Theorem in Process Algebra. 149-168 BibTeX
Nadia Busi, Rob J. van Glabbeek, Roberto Gorrieri: Axiomatising ST-Bisimulation Equivalence. 169-188 BibTeX
Muriel Jourdan, Florence Maraninchi: Studying Synchronous Communication Mechanisms by Abstractions. 189-205 BibTeX
Davide Sangiorgi: Bisimulation in Higher-Order Process Calculi. 207-224 BibTeX

Refinement of Concurrent Systems

Arend Rensink: Methodological Aspects of Action Refinement. 227-246 BibTeX
Heike Wehrheim: Parametric Action Refinement. 247-266 BibTeX
Andrew C. Uselton, Scott A. Smolka: A Process Algebraic Semantics for Statecharts via State Refinement. 267-286 BibTeX

Compositionality in Concurrency

Frank S. de Boer: Compositionality in the Inductive Assertion Method for Concurrent Systems. 289-305 BibTeX
Ben C. Moszkowski: Some Very Compositional Temporal Properties. 307-326 BibTeX
Martín Abadi, Leslie Lamport: Decomposing Specifications of Concurrent Systems. 327-340 BibTeX
Werner Damm, J. Helbig: Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams. 341-359 BibTeX

Semantics of Nondeterminism and Concurrency

Henk Doornbos: A Relational Model of Programs Without the Restriction to Egli-Milner-Monotone Constructs. 363-382 BibTeX
Burghard von Karger: Plotkin, Hoare and Smyth Order: On Observational Models for CSP. 383-402 BibTeX
Nicoletta De Francesco, Ugo Montanari, Gioia Ristori: Modelling Concurrent Accesses to Shared Data via Petri Nets. 403-422 BibTeX
Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi: An Event Structure Semantics for Safe Graph Grammars. 423-444 BibTeX

Semantics of Programming Languages

K. Rustan M. Leino, Jan L. A. van de Snepscheut: Semantics of Exceptions. 447-466 BibTeX
David A. Naumann: Predicate Transformer Semantics of an Oberon-Like Language. 467-487 BibTeX
Egon Börger, Igor Durdanovic, Dean Rosenzweig: Occam: Specification and Compiler Correctness - Part I: The Primary Model. 489-508 BibTeX

Types in Specifications

Martin Steffen, Benjamin C. Pierce: Higher-Order Subtyping. 511-530 BibTeX
Yellamraju V. Srinivas: Augmenting Algebraic Specifications with Structured Sorts and Structural Subsorting. 531-550 BibTeX

Program Analysis

Heinz W. Schmidt, Wolf Zimmermann: Reasoning about Complexity of Object-Oriented Programs. 553-572 BibTeX