Perspectives of System Informatics
From MaRDI portal
Publication:5902416
DOI10.1007/B94823zbMath1254.68168OpenAlexW4234004114MaRDI QIDQ5902416
Publication date: 5 January 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b94823
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (2)
Relating State-Based and Process-Based Concurrency through Linear Logic ⋮ Relating state-based and process-based concurrency through linear logic (full-version)
This page was built for publication: Perspectives of System Informatics