Towards an Algebra of Abstractions for Communicating Processes

13 years 10 months ago

Download www.cs.newcastle.ac.uk

an Algebra of Abstractions for Communicating Processes M. Koutny, Giuseppe Pappalardo and M. Pietkiewicz-Koutny. TECHNICAL REPORT SERIES No. CS-TR-949 Febuary, 2006 NEWCASTLE UN IVERSITY OF

Maciej Koutny, Giuseppe Pappalardo, Marta Pietkiew

Real-time Traffic

Abstractions | ACSD 2006 | Giuseppe Pappalardo | Hardware | TECHNICAL REPORT SERIES |

claim paper

» Nonsynchronous Communications in Process Algebraic Architectural Description Languages

» thr2csp Toward Transforming Threads into Communicating Sequential Processes

» Towards an Algebraic Specification of the Java Virtual Machine

» Process Algebra for Agent Communication A General Semantic Approach

» Handling communications in process algebraic architectural description languages Modeling ...

» UserOptimizer Communication using Abstract Plans in Sybase ASE

» Dynamic consistency in process algebra From Paradigm to ACP

» A Family of ResourceBound RealTime Process Algebras

Post Info
More Details (n/a)

Added	10 Jun 2010
Updated	10 Jun 2010
Type	Conference
Year	2006
Where	ACSD
Authors	Maciej Koutny, Giuseppe Pappalardo, Marta Pietkiewicz-Koutny

Comments (0)

Sciweavers

Towards an Algebra of Abstractions for Communicating Processes

Abstractions | ACSD 2006 | Giuseppe Pappalardo | Hardware | TECHNICAL REPORT SERIES |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers