Coalgebraic Weak Bisimulation from Recursive Equations over Monads

Automata, Languages, and Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-662-43951-7_17 ◽

2014 ◽

pp. 196-207 ◽

Author(s):

Sergey Goncharov ◽

Dirk Pattinson

Keyword(s):

Weak Bisimulation ◽

Recursive Equations

Download Full-text

Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-49059-0_21 ◽

1999 ◽

pp. 300-314 ◽

Author(s):

Zhoujun Li ◽

Huowang Chen

Keyword(s):

Weak Bisimulation

Download Full-text

Weak Bisimulation Up to Elaboration

CONCUR 2006 – Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/11817949_26 ◽

2006 ◽

pp. 390-405 ◽

Author(s):

Damien Pous

Keyword(s):

Weak Bisimulation

Download Full-text

On stochastic recursive equations and infinite server queues

Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies. ◽

10.1109/infcom.2005.1498355 ◽

2005 ◽

Author(s):

E. Altman

Keyword(s):

Infinite Server ◽

Infinite Server Queues ◽

Recursive Equations ◽

Stochastic Recursive Equations

Download Full-text

Recursive equations between the energy functions

Modeling, Identification and Control of Robots ◽

10.1016/b978-190399666-9/50021-x ◽

2002 ◽

pp. 421-425

Keyword(s):

Energy Functions ◽

Recursive Equations

Download Full-text

Automatic autoprojection of higher order recursive equations

ESOP '90 - Lecture Notes in Computer Science ◽

10.1007/3-540-52592-0_56 ◽

1990 ◽

pp. 70-87 ◽

Author(s):

Anders Bondorf

Keyword(s):

Higher Order ◽

Recursive Equations

Download Full-text

A theory of weak bisimulation for core CML

ACM SIGPLAN Notices ◽

10.1145/232629.232649 ◽

1996 ◽

Vol 31 (6) ◽

pp. 201-212 ◽

Author(s):

William Ferreira ◽

Matthew Hennessy ◽

Alan Jeffrey

Keyword(s):

Weak Bisimulation

Download Full-text

Exact Combinatorial Approach to Finite Coagulating Systems Through Recursive Equations

Reports on Mathematical Physics ◽

10.1016/s0034-4877(19)30072-2 ◽

2019 ◽

Vol 84 (1) ◽

pp. 117-130 ◽

Author(s):

MichaŁ Łepek ◽

PaweŁ Kukliński ◽

Agata Fronczak ◽

Piotr Fronczak

Keyword(s):

Combinatorial Approach ◽

Recursive Equations

Download Full-text

Weak bisimulation and open maps

Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158) ◽

10.1109/lics.1999.782590 ◽

2003 ◽

Author(s):

M. Fiore ◽

G.L. Cattani ◽

G. Winskel

Keyword(s):

Weak Bisimulation ◽

Download Full-text

Weak Bisimulation for Action-Type Coalgebras

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2004.06.050 ◽

2005 ◽

Vol 122 ◽

pp. 211-228 ◽

Author(s):

Ana Sokolova ◽

Erik de Vink ◽

Harald Woracek

Keyword(s):

Weak Bisimulation ◽

Download Full-text

Automatic autoprojection of recursive equations with global variables and abstract data types

Science of Computer Programming ◽

10.1016/0167-6423(91)90002-f ◽

1991 ◽

Vol 16 (2) ◽

pp. 151-195 ◽

Author(s):

Anders Bondorf ◽

Olivier Danvy

Keyword(s):

Abstract Data Types ◽

Global Variables ◽

Abstract Data ◽

Recursive Equations

Download Full-text