Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

FOSSACS
2006
Springer

favoriteEmaildiscussreport

110views Software Engineering» more FOSSACS 2006»

Reversing Algebraic Process Calculi

13 years 8 months ago

Reversing Algebraic Process Calculi

Download www.doc.ic.ac.uk

Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languages for quantum computing. We formulate a procedure for converting operators of standard algebraic process calculi such as CCS, ACP and CSP into reversible operators, while preserving their operational semantics.

Iain C. C. Phillips, Irek Ulidowski

Real-time Traffic

Algebraic Process Calculi | FOSSACS 2006 | Promising Application Areas | Reversible Computation | Software Engineering |

claim paper

Related Content

» About permutation algebras presheaves and named sets

» A process algebraic view of shared dataspace coordination

» Shallow Linear Action Graphs and their Embeddings

» Reversibility and Models for Concurrency

» Structural Operational Semantics for Stochastic Process Calculi

» OOMotivated Process Algebra A Calculus for CORBAlike Systems

» On the Expressive Power of Global and Local Priority in Process Calculi

» Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes

» Modelling and Analysis of PKIBased Systems Using Process Calculi

Post Info
More Details (n/a)

Added	22 Aug 2010
Updated	22 Aug 2010
Type	Conference
Year	2006
Where	FOSSACS
Authors	Iain C. C. Phillips, Irek Ulidowski

Comments (0)