Pict Correctness Revisited

DOI10.1007/978-3-540-72952-5_13zbMath1202.68093OpenAlexW1572855737MaRDI QIDQ5428913

Philippe Bidinger, Adriana Compagnoni

Publication date: 28 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72952-5_13

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)

Uses Software

• Pict

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Pict Correctness Revisited