scientific article; zbMATH DE number 7308360
From MaRDI portal
Publication:5150127
zbMath1454.68071MaRDI QIDQ5150127
Anna Ingólfsdóttir, Matteo Cimini, Luca Aceto
Publication date: 9 February 2021
Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?SOS2009.1
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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)
Related Items (3)
On Rule Formats for Zero and Unit Elements ⋮ Rule formats for distributivity ⋮ SOS rule formats for zero and unit elements
This page was built for publication:
