Sciweavers

950 search results - page 37 / 190

» Process Algebra in PVS

20

AAAI
1996

124views Intelligent Agents» more AAAI 1996»

Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach

13 years 9 months ago

Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach

Download www.aaai.org

Giuseppe De Giacomo, Xiao Jun Chen

claim paper

Read More »

18

CORR
2010
Springer

47views Education» more CORR 2010»

Investigating modularity in the analysis of process algebra models of biochemical systems

13 years 7 months ago

Investigating modularity in the analysis of process algebra models of biochemical systems

Download homepages.inf.ed.ac.uk

Federica Ciocchetta, Maria Luisa Guerriero, Jane H...

claim paper

Read More »

13

DKE
2006

89views more DKE 2006»

Automaton meets algebra: A hybrid paradigm for XML stream processing

13 years 7 months ago

Automaton meets algebra: A hybrid paradigm for XML stream processing

Download web.cs.wpi.edu

Hong Su, Elke A. Rundensteiner, Murali Mani

claim paper

Read More »

17

ENTCS
2006

98views more ENTCS 2006»

A Petri Net Semantics of a Simple Process Algebra for Mobility

13 years 7 months ago

A Petri Net Semantics of a Simple Process Algebra for Mobility

Download www.cs.ncl.ac.uk

Raymond R. Devillers, Hanna Klaudel, Maciej Koutny

claim paper

Read More »

19

ENTCS
2006

105views more ENTCS 2006»

Monte Carlo Methods for Process Algebra

13 years 7 months ago

Monte Carlo Methods for Process Algebra

Download www.cs.sunysb.edu

We review the recently developed technique of Monte Carlo model checking and show how it can be applied to the implementation problem for I/O Automata. We then consider some open ...

Radu Grosu, Scott A. Smolka

claim paper

Read More »

« Prev « First page 37 / 190 Last » Next »