A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
Communicating sequential processes
Communicating sequential processes
On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Modeling concurrency with partial orders
International Journal of Parallel Programming
Statecharts: A visual formalism for complex systems
Science of Computer Programming
A timed model for communicating sequential processes
Theoretical Computer Science - Thirteenth International Colloquim on Automata, Languages and Programming, Renne
Design and validation of computer protocols
Design and validation of computer protocols
Real-time object-oriented modeling
Real-time object-oriented modeling
Theoretical Computer Science
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
Regular types for active objects
Object-oriented software composition
Tutorial on message sequence charts
Computer Networks and ISDN Systems - Special issue on SDL and MSC
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Timewise refinement for communicating processes
Science of Computer Programming
Software architecture in practice
Software architecture in practice
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Model checking
Static checking of system behaviors using derived component assumptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Communication and Concurrency
Software Synthesis from Dataflow Graphs
Software Synthesis from Dataflow Graphs
Formal Models for Embedded System Design
IEEE Design & Test
IEEE Software
An Event-Based Architecture Definition Language
IEEE Transactions on Software Engineering
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
Model Checking of Message Sequence Charts
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Interface Compatibility Checking for Software Modules
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Verifying Quantitative Real-Time Properties of Synchronous Programs
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Modelling and verifying key-exchange protocols using CSP and FDR
CSFW '95 Proceedings of the 8th IEEE workshop on Computer Security Foundations
Scheduling dynamic dataflow graphs with bounded memory using the token flow model
Scheduling dynamic dataflow graphs with bounded memory using the token flow model
An extensible type system for component-based design
An extensible type system for component-based design
A behavioral type system and its application in Ptolemy II
Formal Aspects of Computing
Requirements on the execution of Kahn process networks
ESOP'03 Proceedings of the 12th European conference on Programming
| Hi-index | 0.00 |
At present, there is a variety of formalisms for modeling and analyzing the communication behavior of components. Due to a tremendous increase in size and complexity of embedded systems accompanied by shorter time to market cycles and cost reduction, so called behavioral type systems become more and more important. This chapter presents an overview and a taxonomy of behavioral types. The intentions of this taxonomy are to provide a guidance for software engineers and to form the basis for future research.