Tech Reports
Tech Report kmi-05-06 Abstract
A Complete Axiomatisation of Observation Congruence for Deterministic Time under Maximal Progress
Techreport ID: kmi-05-06
Date: 2005
Author(s): Barry Norton
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.
Future Internet
KnowledgeManagementMultimedia &
Information SystemsNarrative
HypermediaNew Media SystemsSemantic Web &
Knowledge ServicesSocial Software
New Media Systems is...
Our New Media Systems research theme aims to show how new media devices, standards, architectures and concepts can change the nature of learning.
Our work involves the development of short life-cycle working prototypes of innovative technologies or concepts that we believe will influence the future of open learning within a 3-5 year timescale. Each new media concept is built into a working prototype of how the innovation may change a target community. The working prototypes are all available (in some form) from this website.
Our prototypes themselves are not designed solely for traditional Open Learning, but include a remit to show how that innovation can and will change learning at all levels and in all forms; in education, at work and play.
List all New Media Systems Projects
Check out these Hot New Media Systems Technologies:
List all New Media Systems Technologies
