A finite equational base for CCS with left merge and communication merge

L. Aceto, W.J. Fokkink, A. Ingólfsdóttir, B. Luttik

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)

Samenvatting

Using the left merge and communication merge from ACP, we present an equational base (i.e., a ground-complete and ¿-complete set of valid equations) for the fragment of CCS without restriction and relabelling. Our equational base is finite if the set of actions is finite.
Originele taal-2Engels
TitelAutomata, Languages and Programming (Proceedings 33rd International Colloquium, ICALP 2006, Venice, Italy, July 9-16, 2006), Part II
RedacteurenM. Bugliesi, B. Preneel, V. Sassone, I. Wegener
Plaats van productieBerlin
UitgeverijSpringer
Pagina's492-503
ISBN van geprinte versie3-540-35907-4
DOI's
StatusGepubliceerd - 2006

Publicatie series

NaamLecture Notes in Computer Science
Volume4052
ISSN van geprinte versie0302-9743

Vingerafdruk

Duik in de onderzoeksthema's van 'A finite equational base for CCS with left merge and communication merge'. Samen vormen ze een unieke vingerafdruk.

Citeer dit