Publications of Franz Puntigam (PePu97)

Christof Peter and Franz Puntigam.
Static Type Checking and Deadlock Prevention in Systems Based on Asynchronous Message Passing.
In Proceedings of the ECOOP Workshop on Models, Formalisms and Methods for Distributed Object-Oriented Computing, Jyväskylä, Finland, June 1997.

Abstract:

Most strong, static type models were developed for centralized, sequential systems. However, static type checking may even be more useful in distributed systems because in these systems it is extremely difficult to restore a consistent system state after a type error has occurred. Type models for concurrent systems shall be more expressive than those for sequential systems. But for more expressive types it is more difficult to perform static type checking. We show a hierarchy of four increasingly expressive levels of type models and discuss the possibility of static type checking and static deadlock prevention for them.

Paper

@InProceedings{PePu97,
  author    = "Christof Peter and Franz Puntigam",
  title     = "Static Type Checking and Deadlock Prevention in Systems Based on Asynchronous Message Passing",
  booktitle = "Proceedings of the ECOOP Workshop on Models, Formalisms and Methods for Distributed Object-Oriented Computing",
  year      = 1997,
  address   = "Jyv{\"a}skyl{\"a}, Finland",
  month     = jun,
  url       = "http://www.complang.tuwien.ac.at/franz/papers/ecoop-ws97.ps.gz"
}