scientific article; zbMATH DE number 1948163

zbMath1020.68059MaRDI QIDQ4411824

Pietro Cenciarelli

Publication date: 10 July 2003

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

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

zbMATH Keywords

Javasequent calculussemanticsconcurrencyconfiguration structures

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) Cut-elimination and normal-form theorems (03F05)

Related Items (1)

Probabilistic Configuration Theories

This page was built for publication: