Fold and unfold for program semantics
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Towards semantics of self-adaptive software
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
From rewrite rules to bisimulation congruences
Theoretical Computer Science
Combining a monad and a comonad
Theoretical Computer Science
Compositional SOS and beyond: a coalgebraic view of open systems
Theoretical Computer Science
Ordered SOS process languages for branching and Eager bisimulation
Information and Computation
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Abstract Syntax and Variable Binding for Linear Binders
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Bialgebraic Modelling of Timed Processes
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Equivariant Syntax and Semantics
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Deriving Bisimulation Congruences for Reactive Systems
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Adequacy for Algebraic Effects
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
The Varieties of Programming Language Semantics
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Tile Transition Systems as Structured Coalgebras
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Mathematical Structures in Computer Science
Hidden coinduction: behavioural correctness proofs for objects
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Comparing hierarchies of types in models of linear logic
Information and Computation
Theoretical Computer Science - Selected papers of CMCS'03
Category theory for operational semantics
Theoretical Computer Science - Selected papers of CMCS'03
Notions of bisimulation and congruence formats for SOS with data
Information and Computation
ACM SIGACT News
Recursive coalgebras from comonads
Information and Computation - Special issue: Seventh workshop on coalgebraic methods in computer science 2004
Distributive laws for the coinductive solution of recursive equations
Information and Computation - Special issue: Seventh workshop on coalgebraic methods in computer science 2004
Coalgebraic semantics for timed processes
Information and Computation - Special issue: Seventh workshop on coalgebraic methods in computer science 2004
Processes as formal power series: a coinductive approach to denotational semantics
Theoretical Computer Science
Structured coalgebras and minimal HD-automata for the π-calculus
Theoretical Computer Science - Mathematical foundations of computer science 2000
A coalgebraic approach to the semantics of the ambient calculus
Theoretical Computer Science - Algebra and coalgebra in computer science
Bialgebraic Methods in Structural Operational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Coalgebraic description of generalised binary methods
Mathematical Structures in Computer Science
Bi-inductive Structural Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Modular construction of complete coalgebraic logics
Theoretical Computer Science
A Category of Explicit Fusions
Concurrency, Graphs and Models
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
Network Applications of Graph Bisimulation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
A Categorical Model of the Fusion Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
G-Reactive Systems as Coalgebras
Electronic Notes in Theoretical Computer Science (ENTCS)
Probabilistic bisimulation as a congruence
ACM Transactions on Computational Logic (TOCL)
PSPACE bounds for rank-1 modal logics
ACM Transactions on Computational Logic (TOCL)
A Coalgebraic Theory of Reactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A congruence rule format for name-passing process calculi
Information and Computation
Bialgebraic methods and modal logic in structural operational semantics
Information and Computation
Bi-inductive structural semantics
Information and Computation
On the origins of bisimulation and coinduction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
Theoretical Computer Science
From Bialgebraic Semantics to Congruence Formats
Electronic Notes in Theoretical Computer Science (ENTCS)
Recursive Coalgebras from Comonads
Electronic Notes in Theoretical Computer Science (ENTCS)
Relationally Staged Computations in Calculi of Mobile Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Relating Two Approaches to Coinductive Solution of Recursive Equations
Electronic Notes in Theoretical Computer Science (ENTCS)
Trace Semantics for Coalgebras
Electronic Notes in Theoretical Computer Science (ENTCS)
A Coalgebraic Approach to Process Equivalence and a Coinduction Principle for Traces
Electronic Notes in Theoretical Computer Science (ENTCS)
Modularity of Behaviours for Mathematical Operational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Computational Effects and Operations: An Overview
Electronic Notes in Theoretical Computer Science (ENTCS)
Notions of bisimulation and congruence formats for SOS with data
Information and Computation
Recursive coalgebras from comonads
Information and Computation - Special issue: Seventh workshop on coalgebraic methods in computer science 2004
Distributive laws for the coinductive solution of recursive equations
Information and Computation - Special issue: Seventh workshop on coalgebraic methods in computer science 2004
Coalgebraic semantics for timed processes
Information and Computation - Special issue: Seventh workshop on coalgebraic methods in computer science 2004
Abstract interpretation of non-monotone bi-inductive semantic definitions
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
The microcosm principle and concurrency in coalgebra
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Structural operational semantics for stochastic process calculi
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Structural operational semantics for weighted transition systems
Semantics and algebraic specification
Weak bisimilarity coalgebraically
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Coalgebraic symbolic semantics
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Electronic Notes in Theoretical Computer Science (ENTCS)
Structural Operational Semantics and Modal Logic, Revisited
Electronic Notes in Theoretical Computer Science (ENTCS)
Modularity and Implementation of Mathematical Operational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Traces for coalgebraic components
Mathematical Structures in Computer Science
Pointwise extensions of gsos-defined operations
Mathematical Structures in Computer Science
Proving the unique fixed-point principle correct: an adventure with category theory
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
The microcosm principle and compositionality of GSOS-based component calculi
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Distributive-law semantics for cellular automata and agent-based models
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
A unifying formal basis for the SENSORIA approach: a white paper
Rigorous software engineering for service-oriented systems
Towards Effects in Mathematical Operational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a coalgebraic semantics of the ambient calculus
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Testing semantics: connecting processes and process logics
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
CIA structures and the semantics of recursion
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Measurable stochastics for Brane Calculus
Theoretical Computer Science
Towards bialgebraic semantics for the linear time --- branching time spectrum
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Probabilistic transition system specification: congruence and full abstraction of bisimulation
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
A Presheaf Environment for the Explicit Fusion Calculus
Journal of Automated Reasoning
Sorting with bialgebras and distributive laws
Proceedings of the 8th ACM SIGPLAN workshop on Generic programming
Coalgebraic models for reactive systems
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Compositionality of probabilistic Hennessy-Milner logic through structural operational semantics
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
ACM Transactions on Computational Logic (TOCL)
Comodels and effects in mathematical operational semantics
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
Structural operational semantics for stochastic and weighted transition systems
Information and Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.01 |
We present a categorical theory of `well-behaved' operational semantics which aims at complementing the established theory of domains and denotational semantics to form a coherent whole. It is shown that, if the operational rules of a programming language can be modelled as a natural transformation of a suitable general form, depending on functorial notions of syntax and behaviour, then one gets the following for free: an operational model satisfying the rules and a canonical, internally fully abstract denotational model which satisfies the operational rules. The theory is based on distributive laws and bialgebras; it specialises to the known classes of well-behaved rules for structural operational semantics, such as GSOS.