scientific article; zbMATH DE number 1418374
From MaRDI portal
Publication:4941937
zbMath0946.03037MaRDI QIDQ4941937
Publication date: 19 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
quantalesmodularitylabelled transition systemsproof systemobservational logicspecification of concurrent systems on the basis of their observable behaviour
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Quantales (06F07)
Related Items (1)
This page was built for publication:
