Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
101 | Thuy Duong Vu |
Deciding orthogonal bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 19(4), pp. 475-485, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Orthogonal bisimulation equivalence, Branching bisimulation equivalence, Silent step, Labeled transition system, Concurrency theory |
96 | Xinxin Liu |
Expansive-Bisimulation for Context-Free Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods and Hybrid Real-Time Systems ![In: Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, pp. 472-482, 2007, Springer, 978-3-540-75220-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
96 | Tim French 0002 |
Bisimulation Quantified Logics: Undecidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings, pp. 396-407, 2005, Springer, 3-540-30495-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
87 | Mario Bravetti, Roberto Gorrieri |
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 3(4), pp. 465-520, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
ST bisimulation, noninterleaving semantics, process algebra, axiomatization, Action refinement |
80 | Diptikalyan Saha |
An Incremental Bisimulation Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings, pp. 204-215, 2007, Springer, 978-3-540-77049-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
80 | A. J. van der Schaft |
Bisimulation of Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings, pp. 555-569, 2004, Springer, 3-540-21259-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
80 | Samik Basu 0001, Madhavan Mukund, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Rakesh M. Verma |
Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 166-180, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
79 | Manuela-Luminita Bujorianu, John Lygeros, Marius C. Bujorianu |
Bisimulation for General Stochastic Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings, pp. 198-214, 2005, Springer, 3-540-25108-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
stochastic hybrid systems, simulation morphism, zigzag morphism, Markov processes, bisimulation, category theory |
77 | Roberto Bruni, Ugo Montanari, Vladimiro Sassone |
Open Ended Systems, Dynamic Bisimulation and Tile Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings, pp. 440-456, 2000, Springer, 3-540-67823-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
SOS formats, dynamic bisimulation, tile logic, Bisimulation |
73 | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
Fair Equivalence Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Verification: Theory and Practice ![In: Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, pp. 702-732, 2003, Springer, 3-540-21002-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
73 | Orna Kupferman, Nir Piterman, Moshe Y. Vardi |
Fair Equivalence Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 20th Conference, FST TCS 2000 New Delhi, India, December 13-15, 2000, Proceedings., pp. 151-163, 2000, Springer, 3-540-41413-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
73 | Rocco De Nicola, Ugo Montanari, Frits W. Vaandrager |
Back and Forth Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings, pp. 152-165, 1990, Springer, 3-540-53048-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
72 | 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) |
CIAA ![In: Implementation and Applications of Automata, 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings, pp. 212-222, 2008, Springer, 978-3-540-70843-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
70 | Xian Xu 0001 |
On Bisimulation Theory in Linear Higher-Order pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Petri Nets Other Model. Concurr. ![In: Transactions on Petri Nets and Other Models of Concurrency III, pp. 244-274, 2009, Springer, 978-3-642-04854-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Bisimulation, Linear, ?-Calculus, Process calculi, Higher-order |
70 | Rob J. van Glabbeek, W. P. Weijland |
Branching Time and Abstraction in Bisimulation Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 43(3), pp. 555-600, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
process algebra semantic equivalence, concurrency, abstraction, bisimulation, action refinement, branching time |
70 | Bard Bloom, Sorin Istrail, Albert R. Meyer |
Bisimulation Can't be Traced. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 42(1), pp. 232-268, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
process algebra, bisimulation, CCS, CCS, structural operational semantics |
65 | Damien Pous, Davide Sangiorgi |
Enhancements of the bisimulation proof method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Topics in Bisimulation and Coinduction ![In: Advanced Topics in Bisimulation and Coinduction., pp. 233-289, 2012, Cambridge University Press, 978-1-10-700497-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
65 | Colin Stirling |
Bisimulation and logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Topics in Bisimulation and Coinduction ![In: Advanced Topics in Bisimulation and Coinduction., pp. 173-196, 2012, Cambridge University Press, 978-1-10-700497-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
65 | Davide Sangiorgi |
Origins of bisimulation and coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Topics in Bisimulation and Coinduction ![In: Advanced Topics in Bisimulation and Coinduction., pp. 1-37, 2012, Cambridge University Press, 978-1-10-700497-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
65 | Prakash Panangaden |
Probabilistic bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Topics in Bisimulation and Coinduction ![In: Advanced Topics in Bisimulation and Coinduction., pp. 290-323, 2012, Cambridge University Press, 978-1-10-700497-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
65 | Rob J. van Glabbeek |
On Cool Congruence Formats for Weak Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings, pp. 318-333, 2005, Springer, 3-540-29107-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
64 | Thomas A. Henzinger, Sriram K. Rajamani |
Fair Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 299-314, 2000, Springer, 3-540-67282-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
62 | Helle Hvid Hansen, Clemens Kupke, Eric Pacuit |
Bisimulation for Neighbourhood Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings, pp. 279-293, 2007, Springer, 978-3-540-73857-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Neighbourhood semantics, non-normal modal logic, behavioural equivalence, invariance, bisimulation |
62 | Raffaella Gentilini, Carla Piazza, Alberto Policriti |
From Bisimulation to Simulation: Coarsest Partition Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 31(1), pp. 73-103, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
partition refinement problems, simulation, bisimulation |
61 | Daniel Hirschkoff |
Bisimulation verification using the up to techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 3(3), pp. 271-285, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Up to bisimulation, Verification, Bisimulation, Pi-calculus |
56 | Davide Sangiorgi |
The Bisimulation Proof Method: Enhancements and Open Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings, pp. 18-19, 2006, Springer, 3-540-34893-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
56 | Taolue Chen, Tingting Han 0001, Jian Lu 0001 |
On the Bisimulation Congruence in chi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings, pp. 128-139, 2005, Springer, 3-540-30495-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
56 | Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teruo Higashino |
A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings, pp. 179-195, 2004, Springer, 3-540-23610-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
56 | Sibylle B. Fröschle, Thomas T. Hildebrandt |
On Plain and Hereditary History-Preserving Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999, Proceedings, pp. 354-365, 1999, Springer, 3-540-66408-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
56 | Mogens Nielsen, Christian Clausen |
Bisimulation for Models in Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, pp. 385-400, 1994, Springer, 3-540-58329-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
56 | Philippe Darondeau, Pierpaolo Degano |
Causal Trees: Interleaving + Causality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 239-255, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
concurrency, bisimulation, causality, non-determinism |
54 | Roberto M. Amadio |
On the Reduction of Chocs Bisimulation to pi-Calculus Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings, pp. 112-126, 1993, Springer, 3-540-57208-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
54 | Farn Wang |
Symbolic Branching Bisimulation-Checking of Dense-Time Systems in an Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings, pp. 485-489, 2009, Springer, 978-3-642-00601-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
algorithms, model-checking, experiment, timed automata, TCTL, branching bisimulation |
54 | Søren B. Lassen, Paul Blain Levy |
Typed Normal Form Bisimulation for Parametric Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 341-352, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
LTS, bisimulation, parametric polymorphism, typed lambda calculus |
54 | Johanna Högberg, Andreas Maletti, Jonathan May |
Backward and Forward Bisimulation Minimisation of Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers, pp. 109-121, 2007, Springer, 978-3-540-76335-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
natural language processing, bisimulation, minimisation, tree automata |
54 | Richard Mayr |
Undecidability of Weak Bisimulation Equivalence for 1-Counter Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings, pp. 570-583, 2003, Springer, 3-540-40493-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
1-counter nets, 1-counter machines, bisimulation |
54 | Alan Jeffrey, Julian Rathke |
Towards a Theory of Bisimulation for Local Names. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pp. 56-66, 1999, IEEE Computer Society, 0-7695-0158-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
nominal calculi, semantics, bisimulation |
54 | Ana Sokolova, Erik P. de Vink |
Probabilistic Automata: System Types, Parallel Composition and Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Validation of Stochastic Systems ![In: Validation of Stochastic Systems - A Guide to Current Research, pp. 1-43, 2004, Springer, 3-540-22265-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
probabilistic automata (transition systems), probabilistic bisimulation, preservation and reflection of bisimulation, non-determinism, parallel composition |
53 | Giovanna D'Agostino |
Uniform Interpolation, Bisimulation Quantifiers, and Fixed Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TbiLLC ![In: Logic, Language, and Computation, 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005. Revised Selected Papers, pp. 96-116, 2005, Springer, 978-3-540-75143-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Bisimulation Quantifiers, Bisimulation, Fixed Points, Mu-Calculus |
50 | Andrew M. Pitts |
Howe's method for higher-order languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Topics in Bisimulation and Coinduction ![In: Advanced Topics in Bisimulation and Coinduction., pp. 197-232, 2012, Cambridge University Press, 978-1-10-700497-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
50 | Bart Jacobs 0001, Jan Rutten |
An introduction to (co)algebra and (co)induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Topics in Bisimulation and Coinduction ![In: Advanced Topics in Bisimulation and Coinduction., pp. 38-99, 2012, Cambridge University Press, 978-1-10-700497-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
50 | Luca Aceto, Anna Ingólfsdóttir, Jirí Srba |
The algorithmics of bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advanced Topics in Bisimulation and Coinduction ![In: Advanced Topics in Bisimulation and Coinduction., pp. 100-172, 2012, Cambridge University Press, 978-1-10-700497-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
49 | Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi |
On Bisimulations for the Asynchronous pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings, pp. 147-162, 1996, Springer, 3-540-61604-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
47 | David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodríguez |
New Bisimulation Semantics for Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings, pp. 143-159, 2007, Springer, 978-3-540-73195-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Geoffrey Smith 0001 |
Probabilistic Noninterference through Weak Probabilistic Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June - 2 July 2003, Pacific Grove, CA, USA, pp. 3-13, 2003, IEEE Computer Society, 0-7695-1927-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
47 | Josée Desharnais, Vineet Gupta 0001, Radha Jagadeesan, Prakash Panangaden |
Weak Bisimulation is Sound and Complete for PCTL*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings, pp. 355-370, 2002, Springer, 3-540-44043-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
47 | Stefano Cattani, Roberto Segala |
Decision Algorithms for Probabilistic Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings, pp. 371-385, 2002, Springer, 3-540-44043-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
47 | Zhoujun Li, Huowang Chen |
Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings, pp. 300-314, 1999, Springer, 3-540-65703-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
47 | Christel Baier, Holger Hermanns |
Weak Bisimulation for Fully Probabilistic Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings, pp. 119-130, 1997, Springer, 3-540-63166-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
47 | Carsten Weise, Dirk Lenzkes |
Efficient Scaling-Invariant Checking of Timed Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 97, 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997, Proceedings, pp. 177-188, 1997, Springer, 3-540-62616-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
program specification and verification, real-time systems, decidability, algorithms and data structures, automata and formal languages |
47 | Kedar S. Namjoshi |
A Simple Characterization of Stuttering Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 17th Conference, Kharagpur, India, December 18-20, 1997, Proceedings, pp. 284-296, 1997, Springer, 3-540-63876-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
47 | Xinxin Liu |
Characterizing Bisimulation Congruence in the pi-Calculus (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings, pp. 331-350, 1994, Springer, 3-540-58329-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
47 | Robin Milner, Davide Sangiorgi |
Barbed Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings, pp. 685-695, 1992, Springer, 3-540-55719-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
47 | Kim Guldstrand Larsen, Arne Skou |
Bisimulation Through Probabilistic Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 11-13, 1989, pp. 344-352, 1989, ACM Press, 0-89791-294-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
47 | Nataly S. Moskaljova, Irina B. Virbitskaite |
On the Category of Event Structures with Dense Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001, Proceedings, pp. 287-298, 2001, Springer, 3-540-42487-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
timed event structures, timed bisimulation, category theory |
46 | Davide Sangiorgi |
On the origins of bisimulation and coinduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 31(4), pp. 15:1-15:41, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
greatest fixed points, Bisimulation, history, fixed points, coinduction |
46 | Julian Gutierrez 0001 |
Logics and Bisimulation Games for Concurrency, Causality and Conflict. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 48-62, 2009, Springer, 978-3-642-00595-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Bisimulation games, Behavioural equivalences, Concurrent and reactive systems, Petri nets, Modal and temporal logics |
46 | Radha Jagadeesan, Corin Pitcher, James Riely |
Open bisimulation for aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 6th International Conference on Aspect-Oriented Software Development, AOSD 2007, Vancouver, British Columbia, Canada, March 12-16, 2007, pp. 107-120, 2007, ACM, 1-59593-615-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
open bisimulation, aspect-oriented programming, modularity, equational reasoning, modular reasoning, contextual equivalence |
46 | Massimo Merro, Matthew Hennessy |
A bisimulation-based semantic theory of Safe Ambients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 28(2), pp. 290-330, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
distributed systems, Mobile agents, bisimulation |
46 | Stefan Blom, Simona Orzan |
A distributed algorithm for strong bisimulation reduction of state spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 7(1), pp. 74-86, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Strong bisimulation, Distributed tools, Multirelational coarsest partition problem, Model checking, State space reduction |
46 | Agostino Dovier, Carla Piazza |
The Subgraph Bisimulation Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 15(4), pp. 1055-1056, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
complexity, Bisimulation, semistructured data |
46 | Agostino Dovier, Carla Piazza, Alberto Policriti |
A Fast Bisimulation Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings, pp. 79-90, 2001, Springer, 3-540-42345-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
non well-founded sets, verification, automata, Bisimulation |
46 | Richard Mayr |
On the Complexity of Bisimulation Problems for Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings, pp. 474-488, 2000, Springer, 3-540-67823-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
verification, complexity, bisimulation, Pushdown automata |
46 | Géraud Sénizergues |
Decidability of Bisimulation Equivalence for Equational Graphs of Finite Out-Degree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 39th Annual Symposium on Foundations of Computer Science, FOCS '98, November 8-11, 1998, Palo Alto, California, USA, pp. 120-129, 1998, IEEE Computer Society, 0-8186-9172-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
equational graphs, deterministic pushdown automata, rational languages, matrix semi-groups, complete formal systems, decidability, bisimulation |
46 | Erik P. de Vink, Jan J. M. M. Rutten |
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 24th International Colloquium, ICALP'97, Bologna, Italy, 7-11 July 1997, Proceedings, pp. 460-470, 1997, Springer, 3-540-63165-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
probabilistic transition system, ultrametric space, Borel measure, final coalgebra, Bisimulation, coalgebra |
46 | Gabor Karsai, Anantha Narayanan |
Towards Verification of Model Transformations Via Goal-Directed Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWSD ![In: Model-Driven Development of Reliable Automotive Services, Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers, pp. 67-83, 2006, Springer, 978-3-540-70929-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Behavior Preservation, Weak Bisimulation, Semantic Anchoring, Bisimulation |
41 | Zining Cao |
Equivalence Checking for a Finite Higher Order pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP ![In: Tests and Proofs - 2nd International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings, pp. 30-47, 2008, Springer, 978-3-540-79123-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Davide Sangiorgi, Naoki Kobayashi 0001, Eijiro Sumii |
Logical Bisimulations and Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings, pp. 364-379, 2007, Springer, 978-3-540-75697-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Ziyad Hanna |
Post-reboot Equivalence and Compositional Verification of Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 6th International Conference, FMCAD 2006, San Jose, California, USA, November 12-16, 2006, Proceedings, pp. 11-18, 2006, IEEE Computer Society, 0-7695-2707-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Vashti Galpin |
Comparison of Process Algebra Equivalences Using Formats. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings, pp. 341-350, 1999, Springer, 3-540-66224-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Jeremy E. Dawson, Alwen Tiu |
Formalising Observer Theory for Environment-Sensitive Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings, pp. 180-195, 2009, Springer, 978-3-642-03358-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Konstantinos Chatzikokolakis 0001, Gethin Norman, David Parker 0001 |
Bisimulation for Demonic Schedulers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 318-332, 2009, Springer, 978-3-642-00595-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Michele Boreale |
Weighted Bisimulation in Linear Algebraic Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, pp. 163-177, 2009, Springer, 978-3-642-04080-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Yanfang Ma, Min Zhang 0007, Yixiang Chen |
Parameterized Bisimulation Infinite Evolution Mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China, pp. 299-300, 2009, IEEE Computer Society, 978-0-7695-3757-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | James Kapinski, Alexandre Donzé, Flavio Lerda, Hitashyam Maka, Silke Wagner, Bruce H. Krogh |
Control software model checking using bisimulation functions for nonlinear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 4024-4029, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Pieter J. L. Cuijpers |
On Bicontinuous Bisimulation and the Preservation of Stability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings, pp. 676-679, 2007, Springer, 978-3-540-71492-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Alwen Tiu |
A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings, pp. 367-382, 2007, Springer, 978-3-540-76636-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Søren B. Lassen, Paul Blain Levy |
Typed Normal Form Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings, pp. 283-297, 2007, Springer, 978-3-540-74914-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Yung-Pin Cheng, Hong-Yi Wang, Yu-Ru Cheng |
On-the-Fly Branching Bisimulation Minimization for Compositional Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIAA ![In: Implementation and Application of Automata, 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings, pp. 219-229, 2006, Springer, 3-540-37213-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Zining Cao |
A Spatial Logical Characterisation of Context Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers, pp. 231-239, 2006, Springer, 978-3-540-77504-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Roberto Segala, Andrea Turrini |
Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy, pp. 44-53, 2005, IEEE Computer Society, 0-7695-2427-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Søren B. Lassen |
Eager Normal Form Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings, pp. 345-354, 2005, IEEE Computer Society, 0-7695-2266-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Yinhua Lü, Xiaorong Chen, Luming Fang, Hangjun Wang |
Towards a Symbolic Bisimulation for the Spi Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSN ![In: Mobile Ad-hoc and Sensor Networks, First International Conference, MSN 2005, Wuhan, China, December 13-15, 2005, Proceedings, pp. 1095-1102, 2005, Springer, 3-540-30856-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Anuj Dawar, David Janin |
On the Bisimulation Invariant Fragment of Monadic S1 in the Finite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings, pp. 224-236, 2004, Springer, 3-540-24058-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Andrei Sabelfeld |
Confidentiality for Multithreaded Programs via Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers, pp. 260-274, 2003, Springer, 3-540-20813-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Paolo Baldan, Andrea Corradini 0001, Ugo Montanari |
Bisimulation Equivalences for Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal and Natural Computing ![In: Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002], pp. 158-190, 2002, Springer, 3-540-43190-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Riccardo Focardi, Carla Piazza, Sabina Rossi |
Proofs Methods for Bisimulation Based Information Flow Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers, pp. 16-31, 2002, Springer, 3-540-43631-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Philippe Schnoebelen |
Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACS ![In: Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings, pp. 385-399, 2001, Springer, 3-540-42736-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Anna Philippou, Insup Lee 0001, Oleg Sokolsky |
Weak Bisimulation for Probabilistic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings, pp. 334-349, 2000, Springer, 3-540-67897-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
39 | Marc Pauly |
From Programs to Games: Invariance and Safety for Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings, pp. 485-496, 2000, Springer, 3-540-67895-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
39 | Panagiotis Manolios, Kedar S. Namjoshi, Robert Summers |
Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings, pp. 369-379, 1999, Springer, 3-540-66202-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel |
Weak Bisimulation and Open Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pp. 67-76, 1999, IEEE Computer Society, 0-7695-0158-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
semantics, Concurrency, denotational semantics, categorical models |
39 | Kathi Fisler, Moshe Y. Vardi |
Bisimulation and Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings, pp. 338-341, 1999, Springer, 3-540-66559-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Daniel Hirschkoff |
On the Benefits of Using the Up-To Techniques for Bisimulation Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings, pp. 285-299, 1999, Springer, 3-540-65703-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Flavio Corradini, Rocco De Nicola, Anna Labella |
Graded Modalities and Resource Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 19th Conference, Chennai, India, December 13-15, 1999, Proceedings, pp. 381-393, 1999, Springer, 3-540-66836-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Petr Jancar, Antonín Kucera 0001, Richard Mayr |
Deciding Bisimulation-Like Equivalences with Finite-State Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings, pp. 200-211, 1998, Springer, 3-540-64781-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Zhoujun Li, Huowang Chen |
Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings, pp. 707-718, 1998, Springer, 3-540-64781-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Martín Abadi, Andrew D. Gordon 0001 |
A Bisimulation Method for Cryptographic Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 12-26, 1998, Springer, 3-540-64302-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Thomas Hune, Mogens Nielsen |
Timed Bisimulation and Open Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings, pp. 378-387, 1998, Springer, 3-540-64827-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
39 | Gian Luca Cattani, John Power, Glynn Winskel |
A Categorical Axiomatics for Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings, pp. 581-596, 1998, Springer, 3-540-64896-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|