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 Assistant / Associate x 2

Knowledge Media Institute (KMi)
£29,799 - £38,833
Based in Milton Keynes
Temporary contracts until 30th June 2019

The Open University’s Knowledge Media Institute (KMi) is a distinct research unit within the Faculty of Science, Technology, Engineering and Mathematics (STEM) in the UK. KMi has openings for two Research Associate/Assistant positions to join a successful team at the leading edge of research and development in several areas, including Data Science, Semantic Technologies, Visual Analytics, and Urban Computing. The team, which is led by Professor Enrico Motta, has recently been awarded a number...

Research Assistant / Associate

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

The Knowledge Media Institute (KMi) is looking for a Research Assistant or a Research Associate (depending on qualification), to work on an EU funded project – Up2U. The project will be focusing on the context of secondary schools, often referred to as high schools, which provide secondary education between the ages of 11 and 19 depending on the country, after primary school and before higher education. The learning context from the perspective of the students is the intersection of...

Research Assistant / Associate

Knowledge Media Institute (KMi)
£29,799 - £38,833
Based in Milton Keynes
Temporary contract until 31st December 2018

The Open University’s Knowledge Media Institute (KMi) is a distinct research unit within the Faculty of Science, Technology, Engineering and Mathematics (STEM). KMi is looking for a Research Assistant or a Research Associate to work on an EU funded project – Hub4NGI. The project will strengthen and coordinate the work done by ongoing and upcoming projects, focusing on Next Generation Internet Experimentation (NGI-E), with the goal to transform the current NGI-E setting into an increasingly...

Project Officer - Data Hub Development

Knowledge Media Institute (KMi)
£32,548 - £38,833
Based in Milton Keynes
Temporary contract until 30 June 2019

The Open University’s Knowledge Media Institute (KMi) is a distinct research unit within the Faculty of Science, Technology, Engineering and Mathematics (STEM). KMi is looking for a Project Officer to support the maintenance and evolution of the MK Data Hub, a computational infrastructure for acquiring and managing city data originally developed in the context of the MK:Smart project, www.mksmart.org. The position is supported by two projects funded by the European Regional Development Fund...

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