Search Sciweavers | Sciweavers

24

ENTCS
2007

97views more ENTCS 2007»

Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems

13 years 7 months ago

Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...

Harald Fecher, Heiko Schmidt

claim paper

Read More »

25

click to vote

CORR
2004
Springer

166views Education» more CORR 2004»

A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics

13 years 7 months ago

Download www.mathstat.dal.ca

Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...

Marie Lalire, Philippe Jorrand

claim paper

Read More »

19

click to vote

TCS
2002

109views Theoretical Computer Science» more TCS 2002»

A truly concurrent semantics for a process algebra using resource pomsets

13 years 7 months ago

Download www.liafa.jussieu.fr

In this paper we study a process algebra whose semantics is based on true concurrency. In our model, actions are defined in terms of the resources they need to execute, which allo...

Paul Gastin, Michael W. Mislove

claim paper

Read More »

25

click to vote

PPOPP
2010
ACM

202views Distributed and Parallel Com...» more PPOPP 2010»

Applying the concurrent collections programming model to asynchronous parallel dense linear algebra

14 years 4 months ago

Download vuduc.org

This poster is a case study on the application of a novel programming model, called Concurrent Collections (CnC), to the implementation of an asynchronous-parallel algorithm for c...

Aparna Chandramowlishwaran, Kathleen Knobe, Richar...

claim paper

Read More »

19

click to vote

AAAI
1996

124views Intelligent Agents» more AAAI 1996»

Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach

13 years 8 months ago