dblp.uni-trier.de www.uni-trier.de

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
@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

Support of Program Derivation

Design of Concurrent Systems

Process Algebra

Refinement of Concurrent Systems

Compositionality in Concurrency

Semantics of Nondeterminism and Concurrency

Semantics of Programming Languages

Types in Specifications

Program Analysis

Copyright © Mon Nov 2 21:05:43 2009 by Michael Ley (ley@uni-trier.de)