The equational theory of prebisimilarity over basic CCS with divergence

Aceto, Luca; Capobianco, Silvio; Ingolfsdottir, Anna; Luttik, Bas (2008). The equational theory of prebisimilarity over basic CCS with divergence. Information Processing Letters, 108 (5), 284−289.10.1016/j.ipl.2008.05.019.
ajakirjaartikkel
Aceto, Luca; Capobianco, Silvio; Ingolfsdottir, Anna; Luttik, Bas
  • Inglise
Information Processing Letters
0020-0190
108
5
2008
284289
Ilmunud
1.1. Teadusartiklid, mis on kajastatud Web of Science andmebaasides Science Citation Index Expanded, Social Sciences Citation Index, Arts & Humanities Citation Index ja/või andmebaasis Scopus (v.a. kogumikud)
WOS

Viited terviktekstile

dx.doi.org/10.1016/j.ipl.2008.05.019

Lisainfo

basic CCS, bisimulation, complete axiomatisation, concurrency, divergence, equational theory, finite basis, non-finitely based equational theory, prebisimilarity, process algebra
Web of Science