scientific article; zbMATH DE number 7314986

zbMath1455.68099arXiv1008.2109MaRDI QIDQ4963898

Maciej Gazda, W. J. Fokkink

Publication date: 24 February 2021

Full work available at URL: https://arxiv.org/abs/1008.2109

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) 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 ⋮ All congruences below stability-preserving fair testing or CFFD

This page was built for publication: