Publications of Franz Puntigam (PePu99)

Christof Peter and Franz Puntigam.
A Concurrent Object Calculus with Types that Express Sequences.
In Proceedings of the ECOOP Workshop on Semantics of Objects as Processes (SOAP'99), Lisbon, Portugal, June 1999.

Abstract:

Sequencing of messages specified by types of objects is desirable especially in concurrent systems. Types in popular concurrent object calculi cannot support sequencing of messages. We present a calculus that supports sequencing of messages and compare it to the calculus of Vasconcelos and Honda. Type safety in our calculus does not allow a certain kind of nondeterminism supported by other calculi.

Paper

@InProceedings{PePu99,
  author    = {Christof Peter and Franz Puntigam},
  title     = {A Concurrent Object Calculus with Types that Express Sequences},
  booktitle = {Proceedings of the Workshop on Semantics of Objects as Processes (SOAP'99)},
  year      = 1999,
  address   = {Lisbon, Portugal},
  month     = jun,
  url       = "http://www.complang.tuwien.ac.at/franz/papers/PePu99.ps.gz"
}