Fixed points without completeness

Authors:
M. W. Mislove;A. W. Roscoe;S. A. Schneider
Affiliations:
Tulane Univ., New Orleans, LA;Oxford Univ., Oxford, UK;Univ. of London, Surrey, UK
Venue:
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
Year:
1995

Citing 0
Cited 3

Timed Communicating Object Z

IEEE Transactions on Software Engineering
Design and Verification of Distributed Recovery Blocks with CSP

Formal Methods in System Design
Relational concurrent refinement: timed refinement

FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems

Quantified Score

Hi-index	0.00

Visualization

Abstract