scientific article; zbMATH DE number 7301456
From MaRDI portal
Publication:5146592
zbMath1456.68092MaRDI QIDQ5146592
Joshua Sack, Anna Ingólfsdóttir, Luca Aceto
Publication date: 26 January 2021
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESS2009.1
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Congruence from the operator's point of view. Syntactic requirements on modal characterizations ⋮ Removing redundant refusals: minimal complete test suites for failure trace semantics
This page was built for publication:
