Foundations of Software Science and Computational Structures

DOI10.1007/b106850zbMath1119.68130OpenAlexW1588712707MaRDI QIDQ5705870

I. Stark

Publication date: 10 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b106850

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical semantics of formal languages (18C50)

Related Items (3)

Free-algebra models for the \(\pi \)-calculus ⋮ On the construction of free algebras for equational systems ⋮ Nominal Equational Logic

This page was built for publication: Foundations of Software Science and Computational Structures