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
Narrative Hypermedia is...
Hypermedia is the combination of hypertext for linking and structuring multimedia information.
Narrative Hypermedia is therefore concerned with how all of the above narrative forms, plus the many other diverse forms of discourse possible on the Web, can be effectively designed to communicate coherent conceptual structures, drawing inspiration from theories in narratology, semiotics, psycholinguistics and film.
List all Narrative Hypermedia Projects
Check out these Hot Narrative Hypermedia Technologies:
List all Narrative Hypermedia Technologies
