Bisimulation

Results: 117



#Item
21Modular Bisimulation Theory for Computations and Values Martin Churchill and Peter D. Mosses {m.d.churchill,p.d.mosses}@swansea.ac.uk Department of Computer Science, Swansea University, Swansea, UK

Modular Bisimulation Theory for Computations and Values Martin Churchill and Peter D. Mosses {m.d.churchill,p.d.mosses}@swansea.ac.uk Department of Computer Science, Swansea University, Swansea, UK

Add to Reading List

Source URL: plancomps.dreamhosters.com

Language: English - Date: 2014-11-22 16:20:54
22

PDF Document

Add to Reading List

Source URL: www.hieratic.eu

Language: English
23Bisimulation games and locally tabular modal logics Valentin Shehtman Institute for Information Transmission Problems, Russian Academy of Sciences National Research University Higher School of Economics, Moscow, Russia M

Bisimulation games and locally tabular modal logics Valentin Shehtman Institute for Information Transmission Problems, Russian Academy of Sciences National Research University Higher School of Economics, Moscow, Russia M

Add to Reading List

Source URL: logica.dmi.unisa.it

Language: English - Date: 2015-05-19 08:08:06
    24Theory Comput Syst DOIs00224Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes ´

    Theory Comput Syst DOIs00224Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes ´

    Add to Reading List

    Source URL: www.mimuw.edu.pl

    Language: English - Date: 2014-05-06 10:13:15
      25Decidability of bisimulation on normed commutative context-free processes with silent moves? Wojciech Czerwi´ nski1 , Piotr Hofman2 , and Slawomir Lasota2 1

      Decidability of bisimulation on normed commutative context-free processes with silent moves? Wojciech Czerwi´ nski1 , Piotr Hofman2 , and Slawomir Lasota2 1

      Add to Reading List

      Source URL: www.mimuw.edu.pl

      Language: English - Date: 2013-07-21 15:15:47
        26Symbolic Bisimulation for the Applied Pi Calculus ∗ St´ephanie Delaune1

        Symbolic Bisimulation for the Applied Pi Calculus ∗ St´ephanie Delaune1

        Add to Reading List

        Source URL: www.cs.bham.ac.uk

        Language: English - Date: 2009-06-30 03:41:27
          27A categorical notion of bisimulation Example: BranL Path Logic Correspondence Modal correspondence theory over presheaves

          A categorical notion of bisimulation Example: BranL Path Logic Correspondence Modal correspondence theory over presheaves

          Add to Reading List

          Source URL: modalityandmodalities.weebly.com

          Language: English - Date: 2014-06-06 15:34:10
            28Bisimulation for multi-agent plausibility models Thomas Bolander, DTU Compute, Tech Univ of Denmark Joint work with: Mikkel Birkegaard Andersen, Hans van Ditmarsch and Martin Holm Jensen Modal

            Bisimulation for multi-agent plausibility models Thomas Bolander, DTU Compute, Tech Univ of Denmark Joint work with: Mikkel Birkegaard Andersen, Hans van Ditmarsch and Martin Holm Jensen Modal

            Add to Reading List

            Source URL: modalityandmodalities.weebly.com

            Language: English - Date: 2014-06-01 15:48:09
              29Symbolic Bisimulation for the Applied Pi Calculus ∗ St´ephanie Delaune1

              Symbolic Bisimulation for the Applied Pi Calculus ∗ St´ephanie Delaune1

              Add to Reading List

              Source URL: www.lsv.ens-cachan.fr

              Language: English - Date: 2008-12-17 08:07:55
                30UNIVERSITY OF SUSSEX COMPUTER SCIENCE A typed, prioritized process algebra Alan Jeffrey

                UNIVERSITY OF SUSSEX COMPUTER SCIENCE A typed, prioritized process algebra Alan Jeffrey

                Add to Reading List

                Source URL: ect.bell-labs.com

                Language: English - Date: 2010-12-15 21:39:13