scientific article; zbMATH DE number 1927552
From MaRDI portal
Publication:4484476
zbMath1012.68128MaRDI QIDQ4484476
Publication date: 12 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2421/24210041.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Enriched categories (over closed or monoidal categories) (18D20)
Related Items (5)
ST-structures ⋮ Unnamed Item ⋮ Independence Abstractions and Models of Concurrency ⋮ Relating state-based and process-based concurrency through linear logic (full-version) ⋮ Situation Theory Reconsidered
This page was built for publication:
