Executable Tile Specifications for Process Calculi

Executable Tile Specifications for Process Calculi (1999)

Cached

Download Links

[www.di.unipi.it]
[www.di.unipi.it]

Other Repositories/Bibliography

DBLP

by Roberto Bruni , José Meseguer , Ugo Montanari

Citations:

12 - 9 self

Versions

Version History

Metadata Version 2

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Executable Tile Specifications for Process Calculi	user correction - Legacy Corrections
AUTHOR NAME	Roberto Bruni	user correction - Legacy Corrections
AUTHOR NAME	José Meseguer	user correction - Legacy Corrections
AUTHOR NAME	Ugo Montanari	user correction - Legacy Corrections
AUTHOR AFFIL	1; 1; Dipartimento di Informatica, Universit`a di Pisa, Italia.; 2; Computer Science Laboratory, SRI International	user correction - Legacy Corrections
AUTHOR ADDR	Menlo Park, CA, U.S.A.	user correction - Legacy Corrections
ABSTRACT	. Tile logic extends rewriting logic by taking into account sideeffects and rewriting synchronization. These aspects are very important when we model process calculi, because they allow us to express the dynamic interaction between processes and "the rest of the world". Since rewriting logic is the semantic basis of several language implementation efforts, an executable specification of tile systems can be obtained by mapping tile logic back into rewriting logic, in a conservative way. However, a correct rewriting implementation of tile logic requires the development of a metalayer to control rewritings, i.e., to discard computations that do not correspond to any deduction in tile logic. We show how such methodology can be applied to term tile systems that cover and extend a wide-class of SOS formats for the specification of process calculi. The well-known case-study of full CCS, where the term tile format is needed to deal with recursion (in the form of the replicator operator), is di...	user correction - Legacy Corrections
YEAR	1999	user correction - Legacy Corrections
CITATIONS	42 found	ParsCit 1.0