scientific article; zbMATH DE number 1951213

MaRDI QIDQ4413709zbMATH OpenFDO

Authors Heinrich Rust

Publication date 21 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2589/25890423.htm

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)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4413709)