Finite but Unbounded Delay in Synchronous Ccs

  title={Finite but Unbounded Delay in Synchronous Ccs},
  author={Michael Huth and Marta Zofia Kwiatkowska},
Extended Abstract ABSTRACT We recast Milner's work on nite delay in synchronous CCS by giving a denota-tional semantics for admissibility of innnite computations on a biinite domain K. Using Abramsky's SFP domain D for bisimulation we obtain a fully abstract model D K for an operational preorder which generalizes Milner's fortiica-tion and whose restriction to nite behavior corresponds to Abramsky's nitary preorder. The biiniteness of D K renders a program logic by considering its Stone dual. 

From This Paper

Topics from this paper.
6 Citations
8 References
Similar Papers


Publications referenced by this paper.
Showing 1-8 of 8 references

Domain theory

  • A. Jung
  • Lecture Notes for the Summer Schoolon Semantics…
  • 1995

Modelling Finite Delay Operators

  • M. C. B. Hennessy.
  • 1995

Synchronization Trees and Fairness : Acase study

  • M. Kwiatkowska.
  • 1987

The Power of the Future Perfect in Program Logics

  • M. C. B. Hennessy
  • Information and Control

Similar Papers

Loading similar papers…