Find link

language:

Find link is a tool written by Edward Betts.

Longer titles found: Stutter bisimulation (view), Probabilistic bisimulation (view)

searching for Bisimulation 20 found (53 total)

List of model checking tools (1,199 words) [view diff] exact match in snippet view article find links to article

abbreviations are used: Equivalences: SB: Strong Bisimulation WB: Weak Bisimulation BB: Branching Bisimulation STE: Strong Trace Equivalence WTE: Weak Trace

Who Killed Idol? (801 words) [view diff] case mismatch in snippet view article find links to article

Noriaki Tsuda of Kemuri, who also plays bass on the track as well; "BiSimulation" is written by Toru Hidaka of Beat Crusaders; The guitar solo of "primal

Symposium on Logic in Computer Science (670 words) [view diff] exact match in snippet view article find links to article

are the monadic class" André Joyal, Mogens Nielson, Glynn Winskel, "Bisimulation and open maps" Benjamin C. Pierce, Davide Sangiorgi, "Typing and subtyping

Davide Sangiorgi (234 words) [view diff] exact match in snippet view article find links to article

bisimulation and coinduction. Cambridge University Press. ISBN 9781107003637. Sangiorgi, Davide; Rutten, Jan (2012). Advanced Topics in Bisimulation and

International Conference on Concurrency Theory (954 words) [view diff] exact match in snippet view article find links to article

Timed Games." (CONCUR 2003) James J. Leifer & Robin Milner: "Deriving Bisimulation Congruences for Reactive Systems." (CONCUR 2000) Franck Cassez & Kim

Prakash Panangaden (873 words) [view diff] exact match in snippet view article find links to article

Amy Felty (chair), Andrew Pitts and Nicole Schweikardt chose the paper Bisimulation for Labelled Markov Processes (by Richard Blute, Josee Desharnais, Abbas

Scott A. Smolka (385 words) [view diff] exact match in snippet view article find links to article

algorithm he and Paris Kanellakis developed for deciding Robin Milner's bisimulation. Smolka is a Fellow of the European Association for Theoretical Computer

Urya-Oi!!! (738 words) [view diff] case mismatch in snippet view article find links to article

Matsukuma 3:43 9. "PPCC (FiNAL ver.)" BiS Kenta Matsukuma Buzz72+ 3:35 10. "BiSimulation (FiNAL ver.)" BiS Toru Hidaka Kenta Matsukuma 3:16 11. "DiE (FiNAL ver

Axiom of regularity (2,938 words) [view diff] exact match in snippet view article find links to article

Davide (2011). "Origins of bisimulation and coinduction". In Sangiorgi, Davide; Rutten, Jan (eds.). Advanced Topics in Bisimulation and Coinduction. Cambridge

Abbas Edalat (790 words) [view diff] exact match in snippet view article find links to article

Continuous Data-Types and Exact Computing research groups. His 1997 paper on "Bisimulation for Labelled Markov Processes" received the IEEE LICS Test of Time Award

2014 in Japanese music (469 words) [view diff] case mismatch in snippet view article find links to article

Rock, Punk Rock, Metalcore, J-pop "GET YOU" (released January 9, 2013)"BiSimulation" (released March 13, 2013) "DiE" (released June 26, 2013) "Fly / Hi"

Bis (Japanese idol group) (6,239 words) [view diff] exact match in snippet view article

effort released with the idol group Dorothy Little Happy. In March came "Bisimulation" and the intention of Yurika Wakisaka to depart from the group due to

Faron Moller (445 words) [view diff] exact match in snippet view article find links to article

F Moller, S A Smolka and J Srba, On the Computational Complexity of Bisimulation, Redux, Information and Computation, Volume 194(2), Elsevier (2004),

Construction and Analysis of Distributed Processes (2,762 words) [view diff] exact match in snippet view article find links to article

Several equivalence checking tools (minimization and comparisons modulo bisimulation relations), such as BCG_MIN and BISIMULATOR. Several model-checkers for

Bis Kaidan (1,290 words) [view diff] case mismatch in snippet view article find links to article

project, but the Bis vocals are those from their March 2013 single "BiSimulation" played in reverse. In May 2014, a version of the LP, featuring alternate

Denotational semantics (3,784 words) [view diff] exact match in snippet view article find links to article

Cattani, Gian Luca; Winskel, Glynn (2005). "Profunctors, open maps and bisimulation". Mathematical Structures in Computer Science. 15 (3): 553–614. CiteSeerX 10

Kim Guldstrand Larsen (1,584 words) [view diff] exact match in snippet view article find links to article

Citation Tracker). Selected works: Larsen, K. G.; Skou, A. (1991). "Bisimulation through probabilistic testing. Information and computation". Information

Grigore Roșu (1,229 words) [view diff] exact match in snippet view article find links to article

Endrullis, D. Hendriks, M. Bodin. Circular Coinduction in Coq Using Bisimulation-Up-To Techniques International Conference on Interactive Theorem Proving

Gbcast (9,697 words) [view diff] exact match in snippet view article find links to article

also possible with the other protocol. Notice that in carrying out a bisimulation, features that one protocol supports but the other lacks can be ignored

Logic translation (7,317 words) [view diff] exact match in snippet view article find links to article

28. ISBN 978-1-136-79269-4. Garson, James (2023). "Modal Logic: 13. Bisimulation". The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab,