Search Sciweavers | Sciweavers

25 search results - page 2 / 5

» calco 2007

click to vote

CALCO
2007
Springer

98views Mathematics» more CALCO 2007»

A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines

13 years 9 months ago

Download www2.informatik.hu-berlin.de

Andreas Glausch, Wolfgang Reisig

claim paper

Read More »

click to vote

CALCO
2007
Springer

83views Mathematics» more CALCO 2007»

Ready to Preorder: Get Your BCCSP Axiomatization for Free!

14 years 1 months ago

Download www.ii.uib.no

Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...

claim paper

Read More »

click to vote

CALCO
2007
Springer

81views Mathematics» more CALCO 2007»

Bisimulation for Neighbourhood Structures

14 years 1 months ago

Download www.ii.uib.no

Helle Hvid Hansen, Clemens Kupke, Eric Pacuit

claim paper

Read More »

click to vote

CALCO
2007
Springer

75views Mathematics» more CALCO 2007»

14 years 1 months ago

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets

Download www.math.unipd.it

Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Rei...

claim paper

Read More »

click to vote

CALCO
2007
Springer

103views Mathematics» more CALCO 2007»

The Goldblatt-Thomason Theorem for Coalgebras

14 years 1 months ago

Download www.cs.le.ac.uk

Goldblatt and Thomason’s theorem on modally deﬁnable classes of Kripke frames and Venema’s theorem on modally deﬁnable classes of Kripke models are generalised to coalgebra...

Alexander Kurz, Jirí Rosický

claim paper

Read More »

« Prev « First page 2 / 5 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers