Search Sciweavers | Sciweavers

1532 search results - page 75 / 307

» An Algebraic Process Calculus

117

click to vote

EPEW
2008
Springer

72views Internet Technology» more EPEW 2008»

A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra

15 years 6 months ago

Download pubs.doc.ic.ac.uk

We apply performance analysis techniques to a biological modelling problem, that of capturing and reproducing the Circadian rhythm. A Circadian rhythm provides cells with a clock b...

Jeremy T. Bradley

claim paper

Read More »

112

click to vote

DAGSTUHL
2004

123views Software Engineering» more DAGSTUHL 2004»

04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems

15 years 5 months ago

Download drops.dagstuhl.de

Barbara König, Ugo Montanari, Philippa Gardne...

claim paper

Read More »

click to vote

IJCAI
2003

87views Artificial Intelligence» more IJCAI 2003»

SMDP Homomorphisms: An Algebraic Approach to Abstraction in Semi-Markov Decision Processes

15 years 5 months ago

Download dli.iiit.ac.in

Balaraman Ravindran, Andrew G. Barto

claim paper

Read More »

111

click to vote

AAAI
1996

124views Intelligent Agents» more AAAI 1996»

Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach

15 years 5 months ago

Download www.aaai.org

Giuseppe De Giacomo, Xiao Jun Chen

claim paper

Read More »

click to vote

CORR
2010
Springer

47views Education» more CORR 2010»

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

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers