Hostname: page-component-74656f9884-c52kr Total loading time: 0 Render date: 2026-11-09T10:30:11.740Z Has data issue: false hasContentIssue false
  • English
  • Français

Minimisation and minimal realisation in Span(Graph)

Published online by Cambridge University Press:  23 September 2004

ROBERT ROSEBRUGH ,
NICOLETTA SABADINI  and
ROBERT F. C. WALTERS
ROBERT ROSEBRUGH
Affiliation:
Department of Mathematics and Computer Science, Mount Allison University, Sackville, N. B. E4L 1E6, Canada
NICOLETTA SABADINI
Affiliation:
Dipartimento di Scienze Chimiche, Fisiche e Matematica, Università dell'Insubria, via Valleggio, 11, Como, Italy
ROBERT F. C. WALTERS
Affiliation:
Dipartimento di Scienze Chimiche, Fisiche e Matematica, Università dell'Insubria, via Valleggio, 11, Como, Italy
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

The context of this article is a program studying the bicategory of spans of graphs as an algebra of processes, with applications to concurrency theory. The objective here is to study functorial aspects of reachability, minimisation and minimal realisation. The compositionality of minimisation has application to model-checking.

Information

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 14 , Issue 5 , October 2004 , pp. 685 - 714
Copyright
2004 Cambridge University Press