^{1} Department of Computer Science, Faculty of Science, Aarhus University, Aarhus University^{2} unknown^{3} Department of Computer Science, Science and Technology, Aarhus University^{4} Department of Computer Science, Science and Technology, Aarhus University

DOI:

10.1007/3-540-61064-2_42

Abstract:

Spans of open maps have been proposed by Joyal, Nielsen, and Winskel as a way of adjoining an abstract equivalence, P-bisimilarity, to a category of models of computation M, where P is an arbitrary sub-category of observations. Part of the motivation was to recast and generalise Milner's well-known strong bisimulation in this categorical setting. An issue left open was the congruence properties of P-bisimilarity. We address the following fundamental question: given a category of models of computation M and a category of observations P, are there any conditions under which algebraic constructs viewed as functors preserve P-bisimilarity? We define the notion of functors being P -factorisable, show how this ensures that P-bisimilarity is a congruence with respect to such functors. Guided by the definition of P-factorisability we show how it is possible to parametrise proofs of functors being P-factorisable with respect to the category of observations P, i.e., with respect to a behavioural equivalence.

ISBN:

9783540610649

Type:

Conference paper

Language:

English

Published in:

Lecture Notes in Computer Science: 21st International Colloquium Linköping, Sweden, April 22-24, 1996 Proceedings, 1996, p. 257-271

Main Research Area:

Science/technology

Publication Status:

Published

Series:

Lecture Notes in Computer Science

Review type:

Peer Review

Conference:

International Colloquium on Trees in Algebra and Programming, 1996