Pict correctness revisited

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

zbMATH Keywords

fairnessabstract machinepi-calculusPict

Mathematics Subject Classification ID

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

• Pict

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