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

@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
Mario Südholt: Data Distribution Algebras - A Formal Basis for Programming Using Skeletons. 19-38
Bernhard Möller: Ideal Streams. 39-58

Support of Program Derivation

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

Design of Concurrent Systems

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

Process Algebra

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

Refinement of Concurrent Systems

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

Compositionality in Concurrency

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

Semantics of Nondeterminism and Concurrency

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

Semantics of Programming Languages

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

Types in Specifications

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

Program Analysis

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

Last update Tue Feb 14 04:09:36 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page