Pict correctness revisited
From MaRDI portal
Publication:1004056
DOI10.1016/j.tcs.2008.09.014zbMath1169.68029OpenAlexW1963784496MaRDI 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
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
This page was built for publication: Pict correctness revisited