scientific article; zbMATH DE number 512957

zbMATH Open0942.68614MaRDI QIDQ4281672FDOQ4281672

Authors: Johan J. Lukkien 

Publication date: 14 August 2000

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited In (2)

• Exits in the refinement calculus
• Conditional composition

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4281672)