scientific article; zbMATH DE number 7308366

zbMath1454.68066MaRDI QIDQ5150133

Michel Reniers, Tim A. C. Willemse

Publication date: 9 February 2021

Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?SOS2009.7

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Logical aspects of Boolean algebras (03G05)

Related Items (1)

Verification of reactive systems via instantiation of parameterised Boolean equation systems

This page was built for publication: