SwePub
Sök i LIBRIS databas

  Utökad sökning

onr:"swepub:oai:DiVA.org:hh-20496"
 

Sökning: onr:"swepub:oai:DiVA.org:hh-20496" > Impossibility resul...

  • Aceto, Luca,Department of Computer Science, Reykjavík University, Kringlan 1, IS-103, Reykjavík, Iceland (författare)

Impossibility results for the equational theory of timed CCS

  • Artikel/kapitelEngelska2007

Nummerbeteckningar

  • LIBRIS-ID:oai:DiVA.org:hh-20496
  • 10.1007/978-3-540-73859-6_6doi
  • 2-s2.0-38049088435scopus
  • urn:nbn:se:hh:diva-20496urn

Ingår i deldatabas

Klassifikation

  • Ämneskategori:ref swepub-contenttype
  • Ämneskategori:kon swepub-publicationtype
  • Ämneskategori:vet swepub-contenttype

Serie

  • Lecture Notes in Computer Science,0302-9743

Anmärkningar

  • Published
  • 3
  • <p>We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR'90. Common to Wang Yi's paper, we particularly focus on a class of linearly-ordered time domains exemplified by the positive real or rational numbers. We show that, even when the set of basic actions is a singleton, there are parallel Timed CCS processes that do not have any sequential equivalent and thus improve on the Gap Theorem for Timed CCS presented by Godskesen and Larsen in FSTTCS'92. Furthermore, we show that timed bisimilarity is not finitely based both for single-sorted and two-sorted presentations of Timed CCS. We further strengthen this result by showing that, unlike in some other process algebras, adding the untimed or the timed left-merge operator to the syntax and semantics of Timed CCS does not solve the axiomatizability problem.</p>

Ämnesord och genrebeteckningar

Biuppslag (personer, institutioner, konferenser, titlar ...)

  • Ingólfsdóttir, Anna,Department of Computer Science, Reykjavík University, Kringlan 1, IS-103, Reykjavík, Iceland(SwePub:) (författare)
  • Mousavi, Mohammad Reza,Department of Computer Science, Reykjavík University, Kringlan 1, IS-103, Reykjavík, Iceland(SwePub:hh) (författare)

Sammanhörande titlar

  • Ingår i:Algebra and Coalgebra in Computer Science : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. ProceedingsBerlin : Springer Berlin/Heidelberg978-3-540-73857-2978-3-540-73859-6s. 80-95

Internetlänk

Hitta via bibliotek

Till lärosätets databas

Hitta mer i SwePub

Av författaren/redakt...
Aceto, Luca
Ingólfsdóttir, A ...
Mousavi, Mohamma ...
Om ämnet
NATURVETENSKAP
NATURVETENSKAP
och Data och informa ...
Delar i serien
Lecture Notes in ...
Artiklar i publikationen
Algebra and Coal ...
Av lärosätet
Högskolan i Halmstad

Sök utanför SwePub

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy