scientific article; zbMATH DE number 1759630

zbMATH Open0999.68151MaRDI QIDQ4536621FDOQ4536621

Authors: António Ravara, Vasco T. Vasconcelos 

Publication date: 2 December 2002

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1760051
• 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

Mathematics Subject Classification ID

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

Cited In (16)

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

This page was built for publication:

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