Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

LICS
1999
IEEE

favoriteEmaildiscussreport

78views Automated Reasoning» more LICS 1999»

Weak Bisimulation and Open Maps

13 years 8 months ago

Weak Bisimulation and Open Maps

Download www.brics.dk

Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel

Real-time Traffic

Automated Reasoning | LICS 1999 |

claim paper

Related Content

» Symbolic Bisimulations for Probabilistic Systems

» Refining the Undecidability Border of Weak Bisimilarity

» Open Maps Alternating Simulations and Control Synthesis

» Timed Bisimulation and Open Maps

» Open Maps Bisimulations for Higher Dimensional Automata Models

» Open Ended Systems Dynamic Bisimulation and Tile Logic

» Open Bisimulation for the Concurrent Constraint PiCalculus

» Towards a Mapping from ERDFS to Take Vocabulary

» On the infinitesimal rigidity of weakly convex polyhedra

Post Info
More Details (n/a)

Added	04 Aug 2010
Updated	04 Aug 2010
Type	Conference
Year	1999
Where	LICS
Authors	Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel

Comments (0)