Logic and Algebra of Specification

DOI10.1007/978-3-642-58041-3MaRDI QIDQ5287565zbMATH OpenOpenAlexFDO

Authors

Publication date 19 July 1993

Full work available at URL https://doi.org/10.1007/978-3-642-58041-3

zbMATH Keywords

finite algorithmsinfinite synchronous concurrent algorithmslogic programmingpolyadic \(\pi\)-calculus

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 51865
• scientific article; zbMATH DE number 52331
• Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings

Cited in

(6)

• Some congruence properties for \(\pi\)-calculus bisimilarities
• Logic of computation. Proceedings of the NATO ASI. Marktoberdorf, Germany. July 25--August 6, 1995
• Constructive methods in computing science. International Summer School, Marktoberdorf/FRG, July 24 -- August 5, 1988. Proceedings
• Modal and temporal properties of processes
• Locality and interleaving semantics in calculi for mobile processes
• From CML to its process algebra

This page was built for publication: Logic and Algebra of Specification

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