Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir |
A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS ![In: Proceedings Sixth Workshop on Structural Operational Semantics, SOS 2009, Bologna, Italy, August 31, 2009., pp. 1-16, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Nikola Trcka |
Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix Approach ![Search on Bibsonomy](Pics/bibsonomy.png) |
QFM ![In: Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, QFM 2009, Eindhoven, The Netherlands, 3rd November 2009., pp. 55-65, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Mariken H. C. Everdij, Henk A. P. Blom |
Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMA ![In: Proceedings FM-09 Workshop on Formal Methods for Aerospace, FMA 2009, Eindhoven, The Netherlands, 3rd November 2009., pp. 1-15, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Alwen Tiu |
A Trace Based Bisimulation for the Spi Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0901.2166, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
15 | Stefan Blom, Jaco van de Pol |
Distributed Branching Bisimulation Minimization by Inductive Signatures ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, Eindhoven, The Netherlands, 4th November 2009., pp. 32-46, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Katrin Iltgen, Walter Vogler |
Robustness of a bisimulation-type faster-than preorder ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings 16th International Workshop on Expressiveness in Concurrency, EXPRESS 2009, Bologna, Italy, 5th September 2009., pp. 66-79, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Radha Jagadeesan, Corin Pitcher, James Riely |
Open Bisimulation for Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
T. Aspect-Oriented Software Development ![In: Transactions on Aspect-Oriented Software Development V, pp. 72-132, 2009, Springer, 978-3-642-02058-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, Tomás Vojnar |
Composed Bisimulation for Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 20(4), pp. 685-700, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Ana Sokolova, Erik P. de Vink, Harald Woracek |
Coalgebraic Weak Bisimulation for Action-Type Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Ann. Comput. Sci. ![In: Sci. Ann. Comput. Sci. 19, pp. 93-144, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
15 | Filippo Bonchi, Fabio Gadducci, Barbara König 0001 |
Synthesising CCS bisimulation using graph rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 207(1), pp. 14-40, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Prithviraj Sen, Amol Deshpande, Lise Getoor |
Bisimulation-based Approximate Lifted Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: UAI 2009, Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence, Montreal, QC, Canada, June 18-21, 2009, pp. 496-505, 2009, AUAI Press. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
15 | Jeroen Keiren, Tim A. C. Willemse |
Bisimulation Minimisations for Boolean Equation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing - 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers, pp. 102-116, 2009, Springer, 978-3-642-19236-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Nikola Trcka, Sonja Georgievska |
Branching Bisimulation Congruence for Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, Budapest, Hungary, March 29-30, 2008, pp. 129-143, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Roberto M. Amadio |
On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 15th Workshop on Expressiveness in Concurrency, EXPRESS 2008, Toronto, ON, Canada, August 23, 2008, pp. 3-17, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol |
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC@ETAPS ![In: Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC@ETAPS 2008, Budapest, Hungary, March 29, 2008, pp. 35-50, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Peter Buchholz 0001 |
Bisimulation relations for weighted automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 393(1-3), pp. 109-123, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Damien Pous |
Using bisimulation proof techniques for the analysis of distributed abstract machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 402(2-3), pp. 199-220, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Roberto M. Amadio |
On convergence-sensitive bisimulation and the embedding of CCS in timed CCS ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0806.0936, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
15 | Alwen Tiu, Dale Miller 0001 |
Proof Search Specifications for Bisimulation and Modal Logics for the pi-Calculus ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0805.2785, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
15 | Giovanna D'Agostino, Giacomo Lenzi |
A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 18(4), pp. 601-614, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Paulo Tabuada |
Controller synthesis for bisimulation equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Control. Lett. ![In: Syst. Control. Lett. 57(6), pp. 443-452, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Guilherme Rangel, Barbara König 0001, Hartmut Ehrig |
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings, pp. 413-427, 2008, Springer, 978-3-540-78497-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Marco Bernardo 0001 |
Non-bisimulation-based Markovian behavioral equivalences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 72(1), pp. 3-49, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Nobuko Yoshida, Kohei Honda 0001, Martin Berger 0001 |
Linearity and bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 72(2), pp. 207-238, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jesper Bengtson, Joachim Parrow |
A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@LICS/ICALP ![In: Proceedings of the Fourth Workshop on Structural Operational Semantics, SOS@LICS/ICALP 2007, Wroclaw, Poland, July 9, 2007, pp. 61-75, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Antoine Girard, George J. Pappas |
Approximate bisimulation relations for constrained linear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 43(8), pp. 1307-1317, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Eijiro Sumii, Benjamin C. Pierce |
A bisimulation for dynamic sealing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 375(1-3), pp. 169-192, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Sébastien Briais, Uwe Nestmann |
Open bisimulation, revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 386(3), pp. 236-271, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Damien Pous |
New up-to techniques for weak bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 380(1-2), pp. 164-180, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Guilherme Rangel, Barbara König 0001, Hartmut Ehrig |
Bisimulation Verification for the DPO Approach with Borrowed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 6, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Parosh Aziz Abdulla, Johanna Högberg, Lisa Kaati |
Bisimulation Minimization of Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 18(4), pp. 699-713, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Kevin A. Grasse |
Simulation and Bisimulation of Nonlinear Control Systems with Admissible Classes of Inputs and Disturbances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 46(2), pp. 562-584, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Ernest Cachia, Mark Vella |
Using Weak Bisimulation for Enterprise Integration Architecture Formal Verification--I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 26-29 March 2007, Tucson, Arizona, USA, pp. 63-70, 2007, IEEE Computer Society, 0-7695-2772-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Ralf Wimmer 0001, Marc Herbstritt, Bernd Becker 0001 |
Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7, 2007, pp. 203-212, 2007, Shaker, 978-3-8322-5956-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
15 | Giordano Pola, Antoine Girard, Paulo Tabuada |
Symbolic models for nonlinear control systems using approximate bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 46th IEEE Conference on Decision and Control, CDC 2007, New Orleans, LA, USA, December 12-14, 2007, pp. 4656-4661, 2007, IEEE, 978-1-4244-1497-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | |
Network Protocols Analyzing by an Environmental Bisimulation Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD (2) ![In: Proceedings of the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2007, July 30 - August 1, 2007, Qingdao, China, pp. 363-367, 2007, IEEE Computer Society, 0-7695-2909-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Mario Bravetti |
Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LIX ![In: Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, LIX 2006, Paris, France, November 13-15, 2006, pp. 83-106, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Lingyun Luo |
An Effective Coalgebraic Bisimulation Proof Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, CMCS 2006, Vienna, Austria, March 25-27, 2006, pp. 105-119, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Simone Tini |
Notes on Generative Probabilistic Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@CONCUR ![In: Proceedings of the Third Workshop on Structural Operational Semantics, SOS 2006, Bonn, Germany, August 26, 2006, pp. 77-88, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Hartmut Ehrig, Barbara König 0001 |
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 16(6), pp. 1133-1163, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Changyan Zhou, Ratnesh Kumar 0001, Shengbing Jiang |
Control of nondeterministic discrete-event systems for bisimulation equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 51(5), pp. 754-765, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Gerald Lüttgen, Walter Vogler |
Bisimulation on speed: A unified approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 360(1-3), pp. 209-227, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Suzana Andova, Tim A. C. Willemse |
Branching bisimulation for probabilistic systems: Characteristics and decidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 356(3), pp. 325-355, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Giovanna D'Agostino, Giacomo Lenzi, Tim French 0002 |
µ-programs, uniform interpolation and bisimulation quantifiers for modal logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 16(3-4), pp. 297-310, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Vincent Danos, Josée Desharnais, François Laviolette, Prakash Panangaden |
Bisimulation and cocongruence for probabilistic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 204(4), pp. 503-523, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Ralf Wimmer 0001, Marc Herbstritt, Bernd Becker 0001 |
Minimization of Large State Spaces using Symbolic Branching Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDECS ![In: Proceedings of the 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2006), Prague, Czech Republic, April 18-21, 2006, pp. 9-14, 2006, IEEE Computer Society, 1-4244-0185-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Ratnesh Kumar 0001, Changyan Zhou, Samik Basu 0001 |
Finite bisimulation of reactive untimed infinite state systems modeled as automata with variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2006, Minneapolis, MN, USA, 14-16 June, 2006, pp. 1-6, 2006, IEEE, 1-4244-0209-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | A. Agung Julius, Antoine Girard, George J. Pappas |
Approximate bisimulation for a class of stochastic hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2006, Minneapolis, MN, USA, 14-16 June, 2006, pp. 1-6, 2006, IEEE, 1-4244-0209-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Tim French 0002 |
Bisimulation Quantified Modal Logics: Decidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 6, papers from the sixth conference on `Advances in Modal Logic,` held in Noosa, Queensland, Australia, on 25-28 September 2006, pp. 147-166, 2006, College Publications, 1-904987-20-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
15 | Will Harwood, Faron Moller, Anton Setzer |
Weak Bisimulation Approximants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings, pp. 365-379, 2006, Springer, 3-540-45458-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Filippo Bonchi, Fabio Gadducci, Barbara König 0001 |
Process Bisimulation Via a Graphical Encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings, pp. 168-183, 2006, Springer, 3-540-38870-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf |
Bisimulation and Simulation Relations for Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APC 25 ![In: Proceedings of the Workshop `Essays on Algebraic Process Calculi`, APC 25, Bertinoro, Italy, August 1-5, 2005, pp. 73-78, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Davide Sangiorgi |
Bisimulation and Co-induction: Some Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APC 25 ![In: Proceedings of the Workshop `Essays on Algebraic Process Calculi`, APC 25, Bertinoro, Italy, August 1-5, 2005, pp. 311-315, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Sébastien Briais, Uwe Nestmann |
Open Bisimulation, Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: Proceedings of the 12th Workshop on Expressiveness on Concurrency, EXPRESS 2005, San Francisco, CA, USA, August 27, 2005, pp. 109-123, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind |
Divide and Congruence Applied to eta-Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@ICALP ![In: Proceedings of the Second Workshop on Structural Operational Semantics, SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005, pp. 97-113, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Gian Luca Cattani, Glynn Winskel |
Profunctors, open maps and bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 15(3), pp. 553-614, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas |
Bisimulation relations for dynamical, control, and hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 342(2-3), pp. 229-261, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Giovanna D'Agostino, Giacomo Lenzi |
An axiomatization of bisimulation quantifiers via the mu-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 338(1-3), pp. 64-95, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Yuxi Fu |
On quasi-open bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 338(1-3), pp. 96-126, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Marie Lalire |
A probabilistic branching bisimulation for quantum processes ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/quant-ph/0508116, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
15 | Gerald Lüttgen, Walter Vogler |
Bisimulation on speed: Lower time bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 39(3), pp. 587-618, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Mohammad Reza Mousavi 0001, Michel A. Reniers, Jan Friso Groote |
Notions of bisimulation and congruence formats for SOS with data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 200(1), pp. 107-147, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Géraud Sénizergues |
The Bisimulation Problem for Equational Graphs of Finite Out-Degree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 34(5), pp. 1025-1106, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | A. Agung Julius, A. J. van der Schaft |
Bisimulation as congruence in the behavioral setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC/ECC ![In: 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, CDC/ECC 2005, Seville, Spain, 12-15 December, 2005, pp. 814-819, 2005, IEEE, 0-7803-9567-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Strubbe, Arjan van der Schaft |
Algorithmic bisimulation for Communicating Piecewise Deterministic Markov Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC/ECC ![In: 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, CDC/ECC 2005, Seville, Spain, 12-15 December, 2005, pp. 6109-6114, 2005, IEEE, 0-7803-9567-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Sibylle B. Fröschle, Slawomir Lasota 0001 |
Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings, pp. 263-277, 2005, Springer, 3-540-28309-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Irek Ulidowski, Shoji Yuen |
Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 60-61, pp. 401-460, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Martin Kot, Zdenek Sawa |
Bisimulation equivalence of a BPP and a finite-state system can be decided in polynomial time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, INFINITY 2004, London, UK, September 4, 2004, pp. 49-60, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Ana Sokolova, Erik P. de Vink, Harald Woracek |
Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CTCS ![In: Proceedings of the 10th Conference on Category Theory in Computer Science, CTCS 2004, Copenhagen, Denmark, August 12-14, 2004, pp. 211-228, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Matthias Mann 0001 |
Congruence of Bisimulation in a Non-Deterministic Call-By-Need Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOS@CONCUR ![In: Proceedings of the Workshop on Structural Operational Semantics, SOS 2004, London, UK, August 30, 2004, pp. 81-101, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Yongjian Li, Xinxin Liu |
Towards a Theory of Bisimulation for the Higher-Order Process Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 19(3), pp. 352-363, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Arjan van der Schaft |
Equivalence of dynamical systems by bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 49(12), pp. 2160-2172, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Agostino Dovier, Carla Piazza, Alberto Policriti |
An efficient algorithm for computing bisimulation equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 311(1-3), pp. 221-256, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Alan Jeffrey, Julian Rathke |
A theory of bisimulation for a fragment of concurrent ML with local names. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 323(1-3), pp. 1-48, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Marco Antoniotti, Carla Piazza, Alberto Policriti, Marta Simeoni, Bud Mishra |
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 325(1), pp. 45-67, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Gerald Lüttgen, Walter Vogler |
Bisimulation on speed: worst-case efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 191(2), pp. 105-144, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Faron Moller, Scott A. Smolka, Jirí Srba |
On the computational complexity of bisimulation, redux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 194(2), pp. 129-143, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Pawel Sobocinski 0001 |
Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems ![In: Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 6.-11. June 2004, 2004, IBFI, Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
15 | Changyan Zhou, Ratnesh Kumar 0001, Shengbing Jiang |
Control of nondeterministic discrete event systems for bisimulation equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: Proceedings of the 2004 American Control Conference, ACC 2004, Boston, MA, USA, June 30 - July 2, 2004, pp. 4488-4492, 2004, IEEE, 0-7803-8335-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Giordano Pola, Arjan J. van der Schaft, Maria Domenica Di Benedetto |
Bisimulation theory for switching linear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 43rd IEEE Conference on Decision and Control, CDC 2004, Nassau, Bahamas, December 14-17, 2004, pp. 1406-1411, 2004, IEEE, 0-7803-8682-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Valentin B. Shehtman |
Filtration via Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 5, papers from the fifth conference on `Advances in Modal logic,` held in Manchester, UK, 9-11 September 2004, pp. 289-308, 2004, King's College Publications, 1-904987-22-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
15 | Johannes Borgström, Sébastien Briais, Uwe Nestmann |
Symbolic Bisimulation in the Spi Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings, pp. 161-176, 2004, Springer, 3-540-22940-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Vladimir A. Bashkin, Irina A. Lomazova |
Petri nets and resource bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 55(2), pp. 101-114, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
15 | Josée Desharnais, Prakash Panangaden |
Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 56(1-2), pp. 99-115, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Blom, Simona Orzan |
Distributed Branching Bisimulation Reduction of State Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC@CAV ![In: 2nd International Workshop on Parallel and Distributed Model Checking, PDMC 2003, Satellite Workshop of CAV 2003, Boulder, Colorado, USA, July 13, 2003, pp. 99-113, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Eugene W. Stark |
On Behaviour Equivalence for Probabilistic I/O Automata and its Relationship to Probabilistic Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Lang. Comb. ![In: J. Autom. Lang. Comb. 8(2), pp. 361-395, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Peter Buchholz 0001, Peter Kemper |
Weak Bisimulation for (max/+) Automata and Related Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Lang. Comb. ![In: J. Autom. Lang. Comb. 8(2), pp. 187-218, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Jan A. Bergstra, Alban Ponse, Mark van der Zwaag |
Branching time and orthogonal bisimulation equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 309(1-3), pp. 313-355, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Vladimiro Sassone, Pawel Sobocinski 0001 |
Deriving Bisimulation Congruences using 2-categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nord. J. Comput. ![In: Nord. J. Comput. 10(2), pp. 163-, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
15 | John Mullins, Stéphane Lafrance |
Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 45(11), pp. 779-790, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Huimin Lin |
Complete inference systems for weak bisimulation equivalences in the pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 180(1), pp. 1-29, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Yuxi Fu |
Bisimulation congruence of chi calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 184(1), pp. 201-226, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Colin Stirling |
Bisimulation and Language Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic for Concurrency and Synchronisation ![In: Logic for Concurrency and Synchronisation, pp. 269-284, 2003, Kluwer, 978-1-4020-1270-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Faron Moller, Scott A. Smolka |
On the Computational Complexity of Bisimulation, Redux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCK50 ![In: PCK50 - Principles of Computing & Knowledge, Paris C. Kanellakis Memorial Workshop, San Diego, California, USA, June 8th, 2003, pp. 55-59, 2003, ACM, 1-58113-604-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Yongjian Li, Jifeng He 0001 |
Towards a Theory of Bisimulation for a Fragment of Verilog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 239, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Prakash Ramanan |
Covering Indexes for XML Queries: Bisimulation - Simulation = Negation. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB ![In: Proceedings of 29th International Conference on Very Large Data Bases, VLDB 2003, Berlin, Germany, September 9-12, 2003, pp. 165-176, 2003, Morgan Kaufmann, 0-12-722442-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Rik Eshuis, Maarten M. Fokkinga |
Comparing Refinements for Failure and Bisimulation Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 52(4), pp. 297-321, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
15 | Jan J. M. M. Rutten |
Coinductive Counting: Bisimulation in Enumerative Combinatorics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Coalgebraic Methods in Computer Science, CMCS 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 6-7, 2002, pp. 286-304, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Jitka Stríbrná, Ivana Cerná |
Modifications of Expansion Trees for Weak Bisimulation in BPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: 4th International Workshop on Verification of Infinite-State Systems (CONCUR 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic, August 24, 2002, pp. 19-39, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Jan Rothe, Dragan Masulovic |
Towards Weak Bisimulation For Coalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR ![In: Categorical Methods for Concurrency, Interaction, and Mobility 2002, CONCUR 2002 Satellite Workshop, Brno, Czech Republic, August 24, 2002, pp. 32-46, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|