Pict Correctness Revisited

DOI10.1007/978-3-540-72952-5_13MaRDI QIDQ5428913zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Pict correctness revisited
• On implementations and semantics of a concurrent programming language
• -calculi
• Fair \(\pi\)
• A fair calculus of communicating systems

Cites work

• A calculus of mobile processes. I
• A type system for lock-free processes
• scientific article; zbMATH DE number 1927577 (Why is no real title available?)
• Nomadic Pict: correct communication infrastructure for mobile computation
• Programming Languages and Systems
• Safe ambients: Abstract machine and distributed implementation
• Separation of synchronous and asynchronous communication via testing
• The -calculus: A theory of mobile processes

Cited in

(2)

• Pict correctness revisited
• On implementations and semantics of a concurrent programming language

Describes a project that uses

Uses Software

• Pict

This page was built for publication: Pict Correctness Revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5428913)