Simulation preorder

Results: 4



#Item
1Theoretical computer science / Mathematics / Software engineering / Coinduction / Bisimulation / Robin Milner / Type theory / Simulation preorder

Some remarks on Bisimulation and Coinduction Davide Sangiorgi University of Bologna Email: http://www.cs.unibo.it/˜ sangio/

Add to Reading List

Source URL: events.inf.ed.ac.uk

Language: English - Date: 2012-10-10 03:52:07
2Applied mathematics / Mathematical logic / Order theory / Logic in computer science / Metalogic / Model theory / Equational logic / Simulation preorder / Preorder / Mathematics / Logic / Theoretical computer science

BRICS Basic Research in Computer Science BRICS RSAceto et al.: 2-Nested Simulation is not Finitely Equationally Axiomatizable 2-Nested Simulation is not

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2000-09-06 03:22:49
3Bisimulation / Algorithm / Simulation preorder / Chromium nitride / Programming language / Theoretical computer science / Applied mathematics / Mathematics

A bisimulation approach to verification of molecular implementations of formal chemical reaction networks A Thesis Presented by Qing Dong

Add to Reading List

Source URL: www.dna.caltech.edu

Language: English - Date: 2013-02-20 20:36:31
4Equivalence relation / Simulation preorder

A Notion of Glue Expressiveness for Component-Based Systems Simon Bliudze1 and Joseph Sifakis1 ´ VERIMAG, Centre Equation, 2 av de Vignate, 38610, Gi`eres, France

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2012-12-31 04:25:32
UPDATE