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 for Blockchain Learning Verification

Knowledge Media Institute (KMi)
29,799 - 38,833 (Grade AC1 / AC2)
Based in Milton Keynes
Temporary contract for 18 months

The Knowledge Media Institute (KMi) is a distinct research unit within the Faculty of Science, Technology, Engineering and Mathematics (STEM) at the Open University. KMi is looking for a Research Assistant or a Research Associate to work on the IoC project & how blockchains can be used to store student accreditation and lifelong learning records in order to enhance employability. The Open University leads the IoC's first theme on university learning, which aims to influence computer science...

Research Asst / Assoc for Mainstreaming Learning Analytics

Knowledge Media Institute (KMi)
29,799 - 38,833 (Grade AC1 / AC2)
Based in Milton Keynes
Temporary contract until 31st March 2021

The Knowledge Media Institute (KMi) is a distinct research unit within the Faculty of Science, Technology, Engineering and Mathematics (STEM) at the Open University. KMi is looking for a Research Assistant or a Research Associate to work on the IoC project & how we can adapt, deploy and mainstream our learning analytics tool across a number of educational establishments nationally. The Open University leads the IoC's first theme on university learning, which aims to influence computer...

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