Skip to search formSkip to main content>Semantic Scholar Semantic Scholar's Logo

Search

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2006

Highly Cited

2006

Modelling and Networks Introduction to Biological Modelling What is modelling? Aims of modelling Why is stochastic modelling… Expand

Review

2003

Review

2003

Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and… Expand

Highly Cited

2002

Highly Cited

2002

Abstract. The permutation model of set theory with atoms (FM-sets), devised by Fraenkel and Mostowski in the 1930s, supports… Expand

Highly Cited

1997

Highly Cited

1997

As software systems become more complex, the overall system structure—or software architecture—becomes a central design problem… Expand

Highly Cited

1996

Highly Cited

1996

By adding reflexion to the chemical machine of Berry and Boudol, we obtain a formal model of concurrency that is consistent with… Expand

Highly Cited

1992

Highly Cited

1992

We present the a-calculus, a calculus of communicating systems in which one can naturally express processes which have changing… Expand

Highly Cited

1992

Highly Cited

1992

We present the a-calculus, a calculus of communicating systems in which one can naturally express processes which have changing… Expand

Highly Cited

1989

Highly Cited

1989

We present the -calculus, a calculus of communicating systems in which one can naturally express processes which have changing… Expand

Highly Cited

1984

Highly Cited

1984

1. Introduction 2. Background 3. Performance evaluation process algebra 4. Modelling study: multi-server multi-queue systems 5… Expand

Highly Cited

1984

Highly Cited

1984

Within the context of an algebraic theory of processes, an equational specification of process cooperation is provided. Four… Expand