scientific article; zbMATH DE number 6774212
From MaRDI portal
Publication:5357704
DOI10.4230/LIPIcs.CONCUR.2015.198zbMath1374.68339MaRDI QIDQ5357704
Lars-Henrik Eriksson, Johannes Borgström, Joachim Parrow, Tjark Weber, Ramūnas Gutkovas
Publication date: 12 September 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (10)
Trace Equivalence and Epistemic Logic to Express Security Properties ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A unified rule format for bounded nondeterminism in SOS with terms as labels ⋮ Unnamed Item ⋮ Lang-n-Send Extended: Sending Regular Expressions to Monitors ⋮ A curry-style semantics of interaction: from untyped to second-order lazy \(\lambda\mu\)-calculus ⋮ Distinguishing between communicating transactions ⋮ Divergence and unique solution of equations ⋮ Coverability Synthesis in Parametric Petri Nets
Uses Software
This page was built for publication:
