Hosted with the Supercomputer Software Department RAS Home
Parallel Computing Technologies Third International Conference (PaCT-95) September 12-15, 1995. St.-Petersburg, Russia Proceedings Home PaCTs Prev Contents Next Authors
	Vol. 964

An Efficient Verifier of Truly Concurrent Properties

by A. Bianchi, S. Coluccini, P. Degano, C. Priami

Abstract:
We present a parametric tool for the analysis of distributed concurrent systems. Processes are internally represented as proved transition systems. Actually, we use a fragment of them, in which only one transition exits from a node among those mutually concurrent. This permits to have compact representations that are linear in average with the number of actions in the term of the language that describes the system. Another important property of these compact transition systems is that they preserve truly concurrent bisimulations, that can be checked in average in polynomial time. Parametricity is achieved by resorting to the rich labelling of the transitions encoding the parallel structure of processes. These labels are then "observed" for retrieving the interleaving, causal and locational semantics.

Keywords: Theory



Classification:
	C.1	processor architectures
	C.2	computer-communication networks
	C.3	special-purpose and application-based systems; microprocessor/microcomputer applications; process control systems; real-time systems; signal processing systems
	C.4	performance of systems; design studies; measurement techniques; modeling techniques; performance attributes; reliability, availability, and serviceability
	D.1	programming techniques
	D.2	software engineering
	D.3	programming languages
	D.4	operating systems
	F.1	computation by abstract devices
	F.2	analysis of algorithms and problem complexity


Source:
A. Bianchi, S. Coluccini, P. Degano, C. Priami, An Efficient Verifier of Truly Concurrent Properties.
In V. Malyshkin (ed.), Parallel Computing Technologies: Proceedings of the 3th International Conference, Lect. Notes in Comp. Sci., Vol. 964, Springer, 1995, pp. 36-50

ISSN 0302-9743
ISBN 3-540-60222-4

Search LNCS articles for:
Bianchi, A. ; Coluccini, S. ; Degano, P. ; Priami, C.



Scanned first page:

Designed by the Supercomputer Software Department RAS, 1998