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 Asst / Assoc - Text and Data Mining

Knowledge Media Institute (KMi)
29,799 - 38,833 (Grades AC1 /AC2)
Based in Milton Keynes
Temporary contract until 31 December 2018

WE ACCEPT APPLICATIONS FROM CITIZENS GLOBALLY The team at the OU runs the world's largest aggregator of open access research papers called CORE. CORE provides free access to the full-texts of 8 million+ Open Access research papers as well as a number of intelligent information services for researchers and organisations. These include services enabling and relying on text & data mining, recommender systems, content management services for libraries & repositories. We are also in the process...

Senior Research Fellow x 2

Knowledge Media Institute (KMi)
50,618 - 56,950 (Grade AC4)
Based in Milton Keynes
Permanent Position

WE ACCEPT APPLICATIONS FROM CITIZENS GLOBALLY The Knowledge Media Institute (KMi) is one of the top research centres in the world in the area of knowledge and media technologies, and we offer a creative and flexible working environment. The style, impact and content of our work are described in detail at http://kmi.open.ac.uk/ Your goal is to strengthen KMi's international research reputation and in particular pursue a robust and innovative research agenda in one or more of these...

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