scientific article

From MaRDI portal

Publication:3839065

Jump to:navigation, search

zbMath0901.03027MaRDI QIDQ3839065

Anna Ingólfsdóttir, Luca Aceto, W. J. Fokkink

Publication date: 8 October 1998

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

zbMATH Keywords

equivalence semantics process algebras preorder calculus of communicating systems equational axiomatizations prefix iteration linear-time/branching-time spectrum

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Related Items (1)

Non-regular iterators in process algebra

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3839065&oldid=17442036"