On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling

On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling (2004)

Cached

Download Links

[homepages.cwi.nl]

Other Repositories/Bibliography

DBLP

by Falk Bartels

Citations:

31 - 0 self

BibTeX

@MISC{Bartels04ongeneralised,
    author = {Falk Bartels},
    title = {On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling},
    year = {2004}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

122	G.: Towards a mathematical operational semantics - Turi, Plotkin - 1997
69	Bisimulation for probabilistic transition systems: A coalgebraic approach - Vink, Rutten - 1999
53	Functorial Operational Semantics and its Denotational Dual - Turi - 1996
41	Message Sequence Charts: Syntax and Semantics - RENIERS - 1998
35	Languages for Analysis and Testing of Event Sequences. Faculty of Mathematics and Computing Science, TU/e - Engels
32	Applying Evolutionary Computation to Constraint Satisfaction and Data Mining - Hemert
28	Semantics and Verification in Process Algebras with Data and Timing. Faculty of Mathematics and Computer Science, TU/e. 2003-05 S.V. Nedea. Analysis and Simulations of Catalytic Reactions. Faculty of Mathematics and Computer Science, TU/e. 2003-06 M.E.M. - Willemse
23	Melius: Guiding and Cost-Optimality in Model Checking of Timed and Hybrid Systems. Faculty of Science, Mathematics and Computer - Citius, Vilius
20	Recursion schemes from comonads - Uustalu, Vene, et al. - 2001
20	Data Synchronization and Browsing for Home Environments - Qian
19	Scheduling with communication for multiprocessor computation - Verriet - 1998
18	Topological Dualities in Semantics. Faculty of Mathematics and Computer Science, VUA. 1996-14 B.L.E. de Fluiter. Algorithms for Graphs of Small Treewidth. Faculty of Mathematics and Computer - Bonsangue
17	The State Operator in Process Algebra. Faculty of - Blanco
16	Theory of Molecular Computing – Splicing and Membrane systems - Science
15	Linearization in µCRL. Faculty of Mathematics and Computer Science, TU/e. 2002-16 J.J.D. Aerts. Random Redundant Storage for Video on Demand. Faculty of Mathematics and Computer Science, TU/e. 2003M. de Jonge. To Reuse or To Be Reused: Techniques for comp - Science
14	den Beuken. A Functional Approach to Syntax and Typing. Faculty of Mathematics and - van
12	Parallel Local Search. Faculty of Mathematics and Computing Science, TUE. 1996-04 M.H.G.K. Kesseler. The Implementation of Functional Languages on Parallel Machines with Distrib. Memory. Faculty of Mathematics and Computer - Verhoeven
12	Faculty of Mathematics and Computer Science and Faculty of Mechanical Engineering, TU/e. 2002-02 T. Kuipers. Techniques for Understanding Legacy Software Systems. Faculty of Natural Sciences, Mathematics and Computer - Science
9	Faculty of Mathematics and Computing Science, TU/e. 2001-04 S.C.C. Blom. Term Graph Rewriting: syntax and semantics - Liere
8	On coalgebras and final semantics - Worrell - 2000
7	Categorical modeling of structural operational rules: case studies - Turi - 1997
6	Faculty of Mathematics and Computing Science, TU/e. 2001-12 A.T. Hofkamp. Reactive machine control: A simulation approach using χ. Faculty of Mechanical Engineering, TU/e. 2001-13 D. Boˇsnački. Enhancing state space reduction techniques for model checking - Wezel
2	Category theory lecture notes. Available from http://www.dcs.ed.ac.uk/home/dt - Turi - 2001
1	Sokolova and Erik de Vink. Classes of probabilistic automata, composition and comparison - Ana
1	Wan Fokkink Glabbeek. Ntyft/ntyxt rules reduce to ntree rules - van - 1996