Thesis icon

Thesis

An algebraic theory of componentised interaction

Abstract:

This thesis provides a specification theory with strong algebraic and compositionality properties, allowing for the systematic construction of new components out of existing ones, while ensuring that given properties continue to hold at each stage of system development. The theory shares similarities with the interface automata of de Alfaro and Henzinger, but is linear-time in the style of Dill's trace theory, and is endowed with a richer collection of operators.

Components are assu...

Expand abstract

Actions


Access Document


Files:

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Research group:
Quantitative Analysis & Verification
Oxford college:
Balliol College
Role:
Author

Contributors

Division:
MPLS
Department:
Computer Science
Role:
Supervisor
More from this funder
Funding agency for:
Chilton, C
Grant:
CONNECT
Publication date:
2013
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
Oxford University, UK
Language:
English
Keywords:
Subjects:
UUID:
uuid:9908e7a0-4edd-4c08-9701-d010bcaaff6e
Local pid:
ora:8268
Deposit date:
2014-04-02

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP