Communication and concurrency
A sort inference algorithm for the polyadic &pgr;-calculus
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A calculus of mobile processes, I
Information and Computation
Regular types for active objects
Object-oriented software composition
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A partially deadlock-free typed process calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
On behavioural subtyping in LOTOS
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Pict: a programming language based on the Pi-Calculus
Proof, language, and interaction
Typing the Use of Resources in a Concurrent Calculus (Extended Abstract)
ASIAN '97 Proceedings of the Third Asian Computing Science Conference on Advances in Computing Science
ECOOP '94 Proceedings of the 8th European Conference on Object-Oriented Programming
Guaranteeing liveness in an object calculus through behavioural typing
FORTE XII / PSTV XIX '99 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX)
An Interaction-based Language and its Typing System
PARLE '94 Proceedings of the 6th International PARLE Conference on Parallel Architectures and Languages Europe
Towards a Theory of Actor Computation
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Principal Typing Schemes in a Polyadic pi-Calculus
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Infinite types for distributed object interfaces
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
A Junction between State Based and Behavioural Specification (Invited Talk)
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Behavioural Types for a Calculus of Concurrent Objects
Euro-Par '97 Proceedings of the Third International Euro-Par Conference on Parallel Processing
| Hi-index | 0.01 |
In this chapter we dicuss issues regarding behavioural typing in concurrent processes and object calculi. In contrast to the functional paradigm, processes and objects do exhibit state, interaction and behaviour. The actions that may be engaged by a process (we can similarly talk about the methods that may be invoked on an object) depend on its state. Using object terminology, objects are said to manifest non uniform service offers. Behavioural typing is then highly relevant. It allows one to reason about types in this dynamic setting. For instance, behavioural types systems may be used to statically check properties such as 'no service denial'. First, we introduce and motivate behavioural typing and briefly present its main characteristics and issues. Then we discuss one of the approaches based on explicit interface-based bahavioural typing.