scientific article; zbMATH DE number 1107504

zbMath0886.68101MaRDI QIDQ4373426

A. W. Roscoe, R. S. Lazić

Publication date: 21 January 1998

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

zbMATH Keywords

operational semanticstransition systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Uniform structures and generalizations (54E15) Set theory (03E99)

Related Items (2)

On final coalgebras of power-set functors and saturated trees ⋮ Unnamed Item

This page was built for publication: