Pict correctness revisited
From MaRDI portal
Publication:1004056
DOI10.1016/j.tcs.2008.09.014zbMath1169.68029MaRDI QIDQ1004056
Philippe Bidinger, Adriana Compagnoni
Publication date: 2 March 2009
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2008.09.014
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Uses Software
Cites Work
- An efficient abstract machine for safe ambients
- A calculus of mobile processes. I
- A type system for lock-free processes
- Safe ambients: Abstract machine and distributed implementation
- Nomadic pict
- Programming Languages and Systems
- Boxed ambients with communication interfaces
- On implementations and semantics of a concurrent programming language
- A calculus of mobile agents
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item