Typing non-uniform concurrent objects

DOI10.1007/3-540-44618-4_34MaRDI QIDQ4536621zbMATH OpenFDO

Authors António Ravara, Vasco T. Vasconcelos

Publication date 2 December 2002

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

Full work available at URL https://doi.org/10.1007/3-540-44618-4_34

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Behavioural types for a calculus of concurrent objects
• Behavioural typing for objects and process calculi
• A type checking algorithm for concurrent object protocols
• A calculus for concurrent objects
• scientific article; zbMATH DE number 1231693

Cited in

(17)

• A type safe state abstraction for coordination in JAVA-like languages
• A type checking algorithm for concurrent object protocols
• A generic type system for the pi-calculus
• Asynchronous typed object groups for grid programming
• Name-passing in an ambient-like calculus and its proof using spatial logic
• Flexible types for a concurrent model
• On the expressive power of polyadic synchronisation in -calculus
• Behavioural typing for objects and process calculi
• Context-free session type inference
• Asynchronous and deterministic objects
• An algebra of behavioural types
• scientific article; zbMATH DE number 1304385 (Why is no real title available?)
• Behavioural types for a calculus of concurrent objects
• Strong types for coordinating active objects
• scientific article; zbMATH DE number 1418457 (Why is no real title available?)
• Non-blocking concurrent imperative programming with session types
• Temporal logic based static analysis for non-uniform behaviours.

This page was built for publication: Typing non-uniform concurrent objects

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