Search Sciweavers | Sciweavers

1788 search results - page 19 / 358

» Model Theory for Process Algebra

189

click to vote

BIS
2006

150views Business» more BIS 2006»

Why Do We Actually Need the Pi-Calculus for Business Process Management?

15 years 7 months ago

Download frapu.de

This paper discusses the applicability of a process algebra, the -calculus, as a formal foundation for Business Process Management (BPM). We therefore investigate the -calculus fro...

Frank Puhlmann

claim paper

Read More »

161

click to vote

AB
2008
Springer

351views Computational Biology» more AB 2008»

Process Algebra Models of Population Dynamics

16 years 7 days ago

Download pastaworkshop.org

Chris McCaig, Rachel Norman, Carron Shankland

claim paper

Read More »

119

click to vote

AINA
2009
IEEE

66views Computer Networks» more AINA 2009»

Modelling Network Performance with a Spatial Stochastic Process Algebra

15 years 11 months ago

Download www.cs.stir.ac.uk

Vashti Galpin

claim paper

Read More »

149

click to vote

CONCUR
2001
Springer

133views Distributed And Parallel Com...» more CONCUR 2001»

Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains

15 years 10 months ago

Download wwwhome.cs.utwente.nl

Holger Hermanns, Joost-Pieter Katoen

claim paper

Read More »

130

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 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers