Bialgebras for Structural Operational Semantics: an Introduction

DMCA

Bialgebras for Structural Operational Semantics: an Introduction (2011)

Cached

Download Links

by Bartek Klin

Citations:

21 - 2 self

Citations

3945	Communication and Concurrency - Milner - 1989
1713	The Definition of Standard ML. - Milner, Tofte, et al. - 1997
1539	A structural approach to operational semantics - Plotkin - 2004
1315	Categories for the working mathematician - Lane - 1998
607	The π-Calculus: a Theory of Mobile Processes. - Sangiorgi, Walker - 2001
408	Universal coalgebra: a theory of systems - Rutten
375	The Linear Time – Branching Time Spectrum I. In: - Glabbeek - 2001
242	Bisimulation can’t be traced. - Bloom, Istrail, et al. - 1995
173	Towards a mathematical operational semantics. - Turi, Plotkin - 1997
152	C.: Structural Operational Semantics, in: - Aceto, Fokkink, et al. - 2001
102	Bisimulation for probabilistic transition systems: A coalgebraic approach - Vink, Rutten - 1999
85	Structural induction and coinduction in a fibrational setting - Hermida, Jacobs - 1998
74	On Generalized Coinduction and Probabilistic Specification Formats - Bartels - 2004
73	Behavioural differential equations: a coinductive calculus of streams, automata, and power series., - Rutten - 2003
64	Semantics of name and value passing. - Fiore, Turi - 2001
55	Initial algebra and final coalgebra semantics for concurrency - Rutten, Turi - 1994
53	Functorial Operational Semantics and its Denotational Dual - Turi - 1996
39	Adjoint lifting theorems for categories of algebras. - JOHNSTONE - 1975
37	On the productivity of recursive list definitions. - Sijtsma - 1989
34	Comparing operational models of name-passing process calculi. IC - Fiore, Staton - 2006
32	Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads. - Lenisa, Power, et al. - 2000
26	A congruence rule format for name-passing process calculi from mathematical structural operational semantics - Fiore, Staton - 2006
24	A bialgebraic review of deterministic automata, regular expressions and languages - Jacobs - 2006
23	Distributive laws for the coinductive solution of recursive equations - Jacobs
23	Algebraic specification and coalgebraic synthesis of mealy automata. - Rutten - 2006
22	Compositional sos and beyond: a coalgebraic view of open systems. - Corradini, Heckel, et al. - 2002
21	Productivity of stream definitions. - Endrullis, Grabmayer, et al. - 2010
21	From set-theoretic coinduction to coalgebraic coinduction - Lenisa - 1999
19	Relating coalgebraic notions of bisimulation. - Staton - 2011
17	Category theory for operational semantics - Lenisa, Power, et al.
16	A coalgebraic foundation for linear time semantics - Power, Turi - 1999
14	The microcosm principle and concurrency in coalgebras, - Hasuo, Jacobs, et al. - 2007
14	2009): Bialgebraic methods and modal logic in structural operational semantics - Klin
12	Bialgebraic modelling of timed processes - Kick
11	Categorical modelling of structural operational rules: Case studies - Turi - 1997
9	Rule formats for timed processes - Kick - 2002
9	2009): Structural Operational Semantics for Weighted Transition Systems - Klin
9	General structural operational semantics through categorical logic - Staton - 2008
8	Generalized coiteration schemata, in - Cancila, Honsell, et al.
8	A coalgebraic presentation of structured transition systems - Corradini, Große-Rhode, et al.
8	Coalgebraic semantics for timed processes - Kick, Power, et al.
7	Modularity of behaviour of mathematical operational semantics - Kick, Power - 2004
7	Well-behaved translations between structural operational semantics. Electronic Notes in Theoretical Computer Science, 65, 2002. CONCEPT INDEX 147 Concept Index action, 13 of a functor, 28 unobservable, 2 adjoint left, 26 right, 26 Alexandrov topology, 92 - Watanabe
6	Distributivity for a monad and a comonad - Power, Watanabe - 1999
5	Coalgebraic symbolic semantics - Bonchi, Montanari - 2009
5	A Coalgebraic Characterization of Behaviours in the Linear Time - Branching Time Spectrum - Monteiro - 2009
4	Pointwise extensions of GSOS-defined operations - Hansen, Klin
3	Bialgebraic semantics and modal logic - Klin - 2007
3	Structural operational semantics and modal logic, revisited - Klin - 2010
2	Structural operational semantic for stochastic systems - Klin, Sassone - 2008
2	CIA structures and the semantics of recursion - Milius, Moss, et al. - 2010