Foundations of Software Science and Computation Structures
From MaRDI portal
Publication:5308443
DOI10.1007/b95995zbMath1126.68495OpenAlexW3105029025MaRDI QIDQ5308443
Publication date: 28 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b95995
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Resources, concurrency, and local reasoning, Deciding safety properties in infinite-state pi-calculus via behavioural types, Unnamed Item, Spatial and behavioral types in the pi-calculus, Using session types for reasoning about boundedness in the \(\pi\)-calculus, Spatial-behavioral types for concurrency and resource control in distributed systems, A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting, Elimination of quantifiers and undecidability in spatial logics for concurrency, A theory of structural stationarity in the \(\pi\)-calculus, Undecidability of Model Checking in Brane Logic, Extensionality of Spatial Observations in Distributed Systems, Co-Algebraic Models for Quantitative Spatial Logics, A Name Abstraction Functor for Named Sets
Uses Software
