An algebra of behavioural types

DOI10.1016/J.IC.2011.12.005MaRDI QIDQ418153zbMATH OpenOpenAlexFDO

Authors António Ravara, Pedro Resende, Vasco T. Vasconcelos

Publication date 24 May 2012

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2011.12.005

zbMATH Keywords

completenessprocess algebratype systemsoundnessbehavioural equivalenceaxiomatisationconcurrent object

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1760051
• Behavioural typing for objects and process calculi
• Towards an algebraic theory of typed mobile processes
• scientific article; zbMATH DE number 1304364
• An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation

Cites work

• scientific article; zbMATH DE number 446840 (Why is no real title available?)
• scientific article; zbMATH DE number 954809 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 92600 (Why is no real title available?)
• scientific article; zbMATH DE number 1231553 (Why is no real title available?)
• scientific article; zbMATH DE number 1231615 (Why is no real title available?)
• scientific article; zbMATH DE number 1304385 (Why is no real title available?)
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• scientific article; zbMATH DE number 1735626 (Why is no real title available?)
• scientific article; zbMATH DE number 1042221 (Why is no real title available?)
• scientific article; zbMATH DE number 1064110 (Why is no real title available?)
• scientific article; zbMATH DE number 1104446 (Why is no real title available?)
• scientific article; zbMATH DE number 1759483 (Why is no real title available?)
• scientific article; zbMATH DE number 1759630 (Why is no real title available?)
• scientific article; zbMATH DE number 1759631 (Why is no real title available?)
• scientific article; zbMATH DE number 1832230 (Why is no real title available?)
• scientific article; zbMATH DE number 1418352 (Why is no real title available?)
• scientific article; zbMATH DE number 1418457 (Why is no real title available?)
• scientific article; zbMATH DE number 964532 (Why is no real title available?)
• A calculus of mobile processes. II
• A complete axiomatisation for observational congruence of finite-state behaviours
• A generic type system for the pi-calculus
• A shorter proof to uniqueness of solutions of equations
• Algebra of communicating processes with abstraction
• Algebraic laws for nondeterminism and concurrency
• An algebra of behavioural types
• An interpretation of typed objects into typed \(\pi\)-calculus
• Bisimilarity of open terms.
• Bisimulation equivalence is decidable for all context-free processes
• CONCUR '93. 4th international conference on concurrency theory, Hildesheim, Germany, August 23--26, 1993. Proceedings
• Conversation types
• Formal methods for open object-based distributed systems. FMOODS, IFIP TC6/ WG6. 1 3rd international conference, Florence, Italy, February 15--18, 1999
• Infinite results
• Logical Semantics of Types for Concurrency
• On the consistency of Koomen's fair abstraction rule
• Process rewrite systems.
• Refining the undecidability border of weak bisimilarity
• Results on the propositional \(\mu\)-calculus
• Spatial and behavioral types in the pi-calculus
• State inference for dynamically changing interfaces
• Strong types for coordinating active objects
• The \(\pi\)-calculus in direct style
• The lambda calculus, its syntax and semantics
• The type and effect discipline
• Types and programing languages
• Types as models: model checking message-passing programs

Cited in

(9)

• Sub-behaviour relations for session-based client/server systems
• Towards an algebraic theory of typed mobile processes
• Behavioural typing for objects and process calculi
• An algebra of behavioural types
• Preface to special issue: Behavioural types
• Preface to special issue: Behavioural types
• scientific article; zbMATH DE number 1760051 (Why is no real title available?)
• A type checking algorithm for concurrent object protocols
• Formal Methods for Components and Objects

Describes a project that uses

Uses Software

• PIPER

This page was built for publication: An algebra of behavioural types

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