scientific article
From MaRDI portal
Publication:3145858
zbMath1264.68009MaRDI QIDQ3145858
No author found.
Publication date: 17 December 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (10)
Unnamed Item ⋮ Relational properties of sequential composition of coalgebras ⋮ Parameterizing higher-order processes on names and processes ⋮ A description based on languages of the final non-deterministic automaton ⋮ Quantifying conformance using the Skorokhod metric ⋮ How to Reason Coinductively Informally ⋮ Bisimulation and coinduction enhancements: a historical perspective ⋮ Non-well-founded deduction for induction and coinduction ⋮ Processes against tests: on defining contextual equivalences ⋮ Clocked lambda calculus
Uses Software
This page was built for publication:
