Daniele Turi  Home/Search
Context Related
| dcs.ed.ac.uk/home/dt/ctcs97.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dcs.ed.ac.uk/home/dt/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . This paper aims at substantiating a recently introduced categorical theory of `well-behaved' operational semantics. A variety of concrete examples of structural operational rules is modelled categorically illustrating the versatility and modularity of the theory. Further, a novel functorial notion of guardedness is introduced which allows for a general and formal treatment of guarded recursive programs. Introduction The predominant approach to operational semantics is Plotkin's SOS [13],... (Update)
Context of citations to this paper: More
.... the work of Turi and Plotkin [TP97] with additions made by Lenisa, Power and Watanabe [LPW00] and in our previous work [Bar01] Turi [Tur97] has himself worked out concrete examples for several instances of the abstract format, but no rule format was developed out of these...
.... of Turi and Plotkin [TP97] with additions from an article by by Lenisa, Power and Watanabe [LPW00] and our previous work [Bar03] Turi [Tur97] has worked out concrete examples for several instances of the abstract GSOS format, but no rule format was developed out of these...
Cited by: More
Towards a Mathematical Operational Semantics - Turi, Plotkin (1997) (Correct)
Semantics of Name and Value Passing - Fiore, Turi (2001) (Correct)
On Generalised Coinduction and Probabilistic Specification.. - Bartels (2004) (Correct)
Active bibliography (related documents): More All
0.2: A Coalgebraic Foundation for Linear Time Semantics - Power, Turi (1999) (Correct)
0.1: Denotational Semantics for Unguarded Recursion: The Demonic Case - de Bruin, de Vink (1990) (Correct)
0.1: Retractions in Comparing Prolog Semantics - de Bruin, de Vink (1989) (Correct)
Similar documents based on text: More All
0.1: SOS Rule Formats for Parameterized and State-Bearing Processes - Bloom, Vaandrager (1995) (Correct)
0.1: Gott time machines in the Anti-de Sitter space - Soren Holst January (Correct)
0.1: Structured Operational Semantics of a fragment of the.. - Honsell, Pravato, Rocca (1993) (Correct)
Related documents from co-citation: More All
9: Towards a mathematical operational semantics - Turi, Plotkin - 1997
9: A final coalgebra theorem (context) - Aczel, Mendler - 1989
8: Bisimulation can't be traced (context) - Bloom, Istrail et al. - 1988
BibTeX entry: (Update)
D. Turi. Categorical modelling of structural operational rules: case studies. Preprint, accessible from !http://www.dcs.ed.ac.uk/home/dt/?, March 1997. http://citeseer.ist.psu.edu/turi97categorical.html More
@inproceedings{ turi97categorical,
author = "Daniele Turi",
title = "Categorical Modelling of Structural Operational Rules: Case Studies",
booktitle = "Category Theory and Computer Science",
pages = "127-146",
year = "1997",
url = "citeseer.ist.psu.edu/turi97categorical.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
484 A Calculus of Communicating Systems (context) - Milner - 1980
369 Information and Computation (context) - Moggi, computation - 1991
194 Functions as processes (context) - Milner - 1990
173 An initial algebra approach to the specification (context) - Goguen, Thatcher et al. - 1978
159 Non-well-founded sets (context) - Aczel - 1988
150 The category-theoretic solution of recursive domain equation.. (context) - Smyth, Plotkin - 1982
77 Full abstraction for a simple parallel programming language (context) - Hennessy, Plotkin - 1979
67 Towards a mathematical operational semantics - Turi, Plotkin - 1997
67 Terminal coalgebras in well-founded set theory (context) - Barr - 1993
46 the foundations of final semantics: non-standard sets (context) - Rutten, Turi - 1993
30 Functorial Operational Semantics and its Denotational Dual (context) - Turi - 1996
10 Strong functors and monoidal monads (context) - Kock - 1972
8 Adjoint lifting theorems for categories of algebras (context) - Johnstone - 1975
6 Metric semantics for concurrency (context) - de Bakker, Ch - 1988
6 and Functors (context) - Arbib, Manes et al. - 1975
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dcs.ed.ac.uk/home/dt/):
Bibliography - Turi (Correct)
On the Foundations of Final Coalgebra Semantics.. - Turi, Rutten (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC