Tech Report

A Complete Axiomatisation of Observation Congruence for Deterministic Time under Maximal Progress

This report presents a process calculus CaSE, derived from CCS by extension with transitions, labelled in multiple abstract clocks, that are both deterministic and governed by maximal progress. Two open problems in the literature have prevented a complete axiomatisation of the coarsest congruence within weak bisimulation in such a system. The main result contained here is the proof of soundness and completeness of an axiom system with respect to this congruence.

ID: kmi-05-06

Date: 2005

Author(s): Barry Norton

Resources:

View By

Other Publications

Jobs

Research Manager (Grade 7)

Knowledge Media Institute (KMi)
£33,199 - £39,609
Based in Milton Keynes
Fixed term until 31st July 2121

The Open University is the UK's largest university, a world leader in flexible part-time education combining a mission to widen access to higher education with research excellence, transforming lives through education. The Role The main purpose of the role is to provide an administrative service to KMi's Executive Team, academic and researchers and undertake other responsibilities in the Unit as directed. See the attached Job Description for further details and desirable...

Research Assistant / Associate (AC1 - AC2)

Knowledge Media Institute (KMi)
£30,395 - £38,460 (Grade AC1 / AC2)
Based in Milton Keynes
6 Months Fixed Term - Full time

The Open University is the UK's largest university, a world leader in flexible part-time education combining a mission to widen access to higher education with research excellence, transforming lives through education. The Role We are seeking to recruit a Research Assistant or Research Associate with a background in Computer Science, Electric Engineering, Physics, Mathematics or Statistics to work on a small collaborative project funded by AND technology research (www.andtr.com). See...

CONTACT US

Knowledge Media Institute
The Open University
Walton Hall
Milton Keynes
MK7 6AA
United Kingdom

Tel: +44 (0)1908 653800

Fax: +44 (0)1908 653169

Email: KMi Support

COMMENT

If you have any comments, suggestions or general feedback regarding our website, please email us at the address below.

Email: KMi Development Team