Search Sciweavers | Sciweavers

2722 search results - page 22 / 545

» The Model Evolution Calculus

click to vote

ICALP
2009
Springer

163views Programming Languages» more ICALP 2009»

Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus

14 years 8 months ago

Download www.kb.ecei.tohoku.ac.jp

Ong has shown that the modal mu-calculus model checking problem (equivalently, the alternating parity tree automaton (APT) acceptance problem) of possibly-infinite ranked trees gen...

Naoki Kobayashi, C.-H. Luke Ong

claim paper

Read More »

click to vote

BIRTHDAY
2007
Springer

117views Applied Computing» more BIRTHDAY 2007»

Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus

14 years 2 months ago

Download www.iist.unu.edu

Dang Van Hung

claim paper

Read More »

click to vote

MEMBRANE
2007
Springer

119views Applied Computing» more MEMBRANE 2007»

The Calculus of Looping Sequences for Modeling Biological Membranes

14 years 2 months ago

Download www.di.unipi.it

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo ...

claim paper

Read More »

click to vote

FOSSACS
2005
Springer

109views Software Engineering» more FOSSACS 2005»

Free-Algebra Models for the pi-Calculus

14 years 1 months ago

Download homepages.inf.ed.ac.uk

Ian Stark

claim paper

Read More »

click to vote

AMAI
2004
Springer

94views Artificial Intelligence» more AMAI 2004»

Modeling and Reasoning with Star Calculus

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers