Falk Bartels  Home/Search
Context Related
| homepages.cwi.nl/~bartels/...Thesis.pdf 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: homepages.cwi.nl/~bartels/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: GSOS as a mixed format . . . . . . . . . . . . . . . . . 72 3.5.1 Concrete rule formats derived from abstract GSOS . . . . 77 3.6 Comparing the di#erent formats . . . . . . . . . . . . . . . . . . 81 3.7 Comparison with related work . . . . . . . . . . . . . . . . . . . . 85 4 Generalised coinduction 87 4.1 The #-coinduction proof principle . . . . . . . . . . . . . . . . . . 88 4.2 The #-coiteration definition principle . . . . . . . . . . . . . . . . 95 4.3 #-coinduction and additional... (Update)
Cited by: More
Relating Two Approaches to Coinductive Solution of Recursive.. - Jacobs (2004) (Correct)
Trace Semantics for Coalgebras - Jacobs (2003) (Correct)
Modular Construction of Modal Logics - Crstea, Pattinson (2004) (Correct)
Active bibliography (related documents): More All
1.7: GSOS for Probabilistic Transition Systems - Bartels (2002) (Correct)
1.2: Generalizing Substitution - Uustalu (2003) (Correct)
1.0: Generalised Coinduction - Bartels (2000) (Correct)
Similar documents based on text: More All
0.6: An Object-Based Software Distribution Network - Bakker (2002) (Correct)
0.6: Compiler and Runtime Optimizations for Fine-Grained Distributed.. - Veldema (2003) (Correct)
0.6: Ontology-Based Information Sharing in Weakly Structured.. - Stuckenschmidt (2002) (Correct)
Related documents from co-citation: More All
3: Towards a mathematical operational semantics - Turi, Plotkin - 1997
2: Universal coalgebra: a theory of systems - Rutten - 1999
BibTeX entry: (Update)
F. Bartels. On generalised coinduction and probabilistic specification formats. PhD thesis, CWI, Amsterdam, 2004. http://citeseer.ist.psu.edu/bartels04generalised.html More
@misc{ bartels04generalised,
author = "F. Bartels",
title = "On generalised coinduction and probabilistic specification formats",
text = "F. Bartels. On generalised coinduction and probabilistic specification
formats. PhD thesis, CWI, Amsterdam, 2004.",
year = "2004",
url = "citeseer.ist.psu.edu/bartels04generalised.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
502 Concurrency and automata on infinite sequences (context) - Park - 1981
322 volume 92 of Lecture Notes in Computer Science (context) - Milner, for et al. - 1980
186 Universal coalgebra: A theory of systems - Rutten - 2000
186 Universal coalgebra: a theory of systems - Rutten - 1996
178 Communicating and Mobile Systems: The #-calculus (context) - Milner - 1999
174 Probabilistic simulations for probabilistic processes - Segala, Lynch - 1994
174 Probabilistic simulations for probabilistic processes - Segala, Lynch - 1995
136 Time and Probability in Formal Design of Distributed Systems (context) - Hansson - 1994
121 Bisimulation can't be traced (context) - Bloom, Istrail et al. - 1995
99 volume 5 of Graduate Texts in Mathematics (context) - Lane, the et al. - 1971
91 A final coalgebra theorem (context) - Aczel, Mendler - 1989
90 Modeling and Verification of Randomized Distributed Real-Tim.. (context) - Segala - 1995
89 volume 18 of Cambridge Tracts in Theoretical Computer Scienc.. (context) - Baeten, Weijand - 1990
81 The linear time -- branching time spectrum (context) - van Glabbeek
67 Towards a mathematical operational semantics - Turi, Plotkin - 1997
50 Bisimulation for labelled markov processes - Desharnais, Edalat et al. - 2002
46 Bulletin of the European Association for Theoretical Compute.. (context) - Jacobs, Rutten et al. - 1996
46 Initial algebra and final coalgebra semantics for concurrenc.. - Rutten, Turi - 1994
38 International Series in Computer Science (context) - Milner, Concurrency - 1989
36 Higher-level synchronising devices in Meije-- SCCS (context) - de Simone - 1985
35 the bisimulation proof method - Sangiorgi - 1998
32 Compositional verification of probabilistic processes (context) - Larsen, Skou - 1992
30 Functorial Operational Semantics and its Denotational Dual (context) - Turi - 1996
28 generative and stratified models of probabilistic processes (context) - van Glabbeek, Smolka et al. - 1995
27 Probabilistic extensions of process algebras - Jonsson, Larsen et al.
27 Theory and application of extended markovian process algebra (context) - Bernardo - 1999
23 Process algebra with probabilistic choice - Andova - 1999
22 Logics for Coalgebras and Applications to Computer Science (context) - Kurz - 2000
22 Bisimulation through probabilistic testing (context) - Larsen, Skou - 1991
20 Bisimulation for probabilistic transition systems: A coalgeb.. - de Vink, Rutten - 1999
20 Structural operational semantics - Aceto, Fokkink et al.
19 recursion and course-of-value (context) - Uustalu, Vene et al. - 1999
19 A compositional trace-based semantics for probabilistic auto.. (context) - Segala - 1995
16 From set-theoretic coinduction to coalgebraic coinduction: s.. - Lenisa - 1999
16 From set-theoretic coinduction to coalgebraic coinduction: S.. - Lenisa - 1999
14 Introduction to Process Algebra (context) - Fokkink - 2000
13 monads and comonads (context) - Lenisa, Power et al. - 2000
13 Automata and coinduction (context) - Rutten - 1998
13 Elements of the general theory of coalgebras - Gumm - 1999
12 Coalgebraic theories of sequences in PVS - Hensel, Jacobs - 1998
12 Exercises in coalgebraic specification - Jacobs - 2002
11 Generalised coinduction - Bartels - 2001
11 Categorical modelling of structural operational rules: case .. - Turi - 1997
11 The linear time -- branching time spectrum II; the semantics.. - van Glabbeek - 1993
10 erential equations: a coinductive calculus of streams (context) - Rutten - 2003
10 erential equations: a coinductive calculus of streams (context) - Rutten - 2000
8 Recursion schemes from comonads - Uustalu, Vene et al. - 2001
8 A hierarchy of probabilistic system types - Bartels, Sokolova et al. - 2004
8 A hierarchy of probabilistic system types - Bartels, Sokolova et al.
8 Lectures on formal methods and performance analysis: first E.. (context) - Brinksma, Hermanns et al. - 2001
8 Probabilistic extensions of semantical models (context) - den Hartog - 2002
7 Semantics of name and value passing - Fiore, Turi - 2001
7 Towards merging recursion and comonads - Pardo - 2000
7 Bialgebraic modelling of timed processes (context) - Kick - 2002
6 an extensive exercise in coinduction (context) - Rutten, stream - 2001
6 Structural operational semantics and bisimulation as a congr.. (context) - Groote, Vaandrager - 1989
6 Structured operational semantics and bisimulation as a congr.. (context) - Groote, Vaandrager - 1992
6 Infinite trees and completely iterative theories: a coalgebr.. (context) - Aczel, Adamek et al. - 2003
6 A coalgebraic foundation for linear time semantics - Power, Turi - 1999
6 A logic for reasoning about time and reliability (context) - Hansson, Jonsson - 1994
6 Alea jacta est: verification of probabilistic (context) - Stoelinga - 2002
5 Bulletin of the European Association for Theoretical Compute.. (context) - Stoelinga, to - 2002
5 GSOS for probabilistic transition systems - Bartels - 2002
5 GSOS for probabilistic transition systems - Bartels
4 On generative parallel composition (context) - D'Argenio, Hermanns et al. - 1999
4 tyfttyxt format reduce to tree rule - Fokkink, tyxt et al. - 1994
4 Rule formats for timed processes (context) - Kick - 2002
4 Functional pearl: Power series (context) - McIlroy - 1999
3 Embedding untimed into timed process algebra: The case for e.. (context) - Baeten - 2003
3 Generalized coiteration schemata - Cancila, Honsell et al.
3 Theoretical Computer Science (context) - Moss - 2001
2 Probabilistic process algebra (context) - Andova - 2002
2 Basic category theory (context) - van Oosten - 1995
2 Note that layout problems were corrected in volume (context) - Moss, Annals et al. - 1999
2 Elsevier Science Publishers (context) - Bergstra, Ponse et al. - 2001
1 volume 82 of Electronic Notes in Theoretical Computer Scienc.. (context) - Gumm, Proc et al. - 2003
1 Journal of Mathematical Structures in Computer Science (context) - Bartels - 2003
1 Selected Papers 9th Nordic Workshop on Programming Theory (context) - Vene, Uustalu et al. - 1997
1 Towards a theory of mathematical operational semantics (context) - Power
1 Category theory lecture notes (context) - Turi - 2001
1 Coalgebraic Modelling of Timed Processes (context) - Kick - 2003
1 Category theory for operational semantics (context) - Lenisa, Power et al. - 2004
1 Classes of probabilistic automata (context) - Sokolova, de Vink - 2004
1 Adding recursive constructs to bialgebraic semantics (context) - Klin - 2004
1 State based systems are coalgebras - Gumm - 2003
1 An abstract coalgebraic approach to process equivalence for .. (context) - Klin - 2004
1 Extended abstract in J (context) - van Glabbeek, time et al. - 1990
1 Well-behaved translations between structural operational sem.. (context) - Watanabe
1 Technical Report SENR (context) - Bartels - 2000
1 Ntyftntyxt rule reduce to ntree rule (context) - van Wan, Ntyft et al. - 1996
1 volume 65 of Electronic Notes in Theoretical Computer Scienc.. (context) - Moss, Proc et al. - 2002
Documents on the same site (http://homepages.cwi.nl/~bartels/):
GSOS for Probabilistic Transition Systems - Bartels (2002) (Correct)
A Hierarchy of Probabilistic System Types - Bartels, Sokolova, de Vink (2003) (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