Publications of Franz Puntigam (PuPe99)

Franz Puntigam and Christof Peter.
Changeable Interfaces and Promised Messages for Concurrent Components.
In Proceedings of the ACM Symposium on Applied Computing (SAC'99), San Antonio, Texas, February 1999.

Abstract:

Statically checked process types ensure that a server understands all messages sent by (concurrent) clients, although the acceptability of messages may change dynamically. But, as proposed so far, process types do not ensure that servers return appropriate answers. In this paper an extension is proposed: Servers must send promised messages (to return results), possibly after receiving further messages. A type checker statically ensures that promised messages cannot be involved in deadlocks and lifelocks. The proposed type concept supports subtyping as well as separate compilation.

Paper

@InProceedings{PuPe99,
  author    = {Franz Puntigam and Christof Peter},
  title     = {Changeable Interfaces and Promised Messages for Concurrent Components},
  booktitle = {Proceedings of the ACM Symposium on Applied Computing (SAC'99)},
  year      = 1999,
  address   = {San Antonio, Texas, {USA}},
  month     = feb,
  url       = "http://www.complang.tuwien.ac.at/franz/papers/PuPe99.ps.gz"
}