Infinite Trace Equivalence

Paul Levy

doi:10.1016/j.entcs.2005.11.069

Infinite Trace Equivalence

Paul Levy

Computer Science

Research output: Contribution to conference (unpublished) › Paper

4 Citations (Scopus)

Original language	English
Pages	467-496
Number of pages	30
DOIs	https://doi.org/10.1016/j.entcs.2005.11.069
Publication status	Published - 12 May 2006
Event	Proceedings of 21st Annual Conference in Mathematical Foundations of Computer Science (MFPSXX1), Birmingham, UK - Duration: 12 May 2006 → …

Conference

Conference	Proceedings of 21st Annual Conference in Mathematical Foundations of Computer Science (MFPSXX1), Birmingham, UK
Period	12/05/06 → …

Access to Document

10.1016/j.entcs.2005.11.069

http://www.cs.bham.ac.uk/~pbl/papers/anotherinftrace.pdf

Cite this

@conference{f6f493de5df641d09002f153a184cd03,

title = "Infinite Trace Equivalence",

author = "Paul Levy",

year = "2006",

month = may,

day = "12",

doi = "10.1016/j.entcs.2005.11.069",

language = "English",

pages = "467--496",

note = "Proceedings of 21st Annual Conference in Mathematical Foundations of Computer Science (MFPSXX1), Birmingham, UK ; Conference date: 12-05-2006",

}

TY - CONF

T1 - Infinite Trace Equivalence

AU - Levy, Paul

PY - 2006/5/12

Y1 - 2006/5/12

UR - http://www.scopus.com/inward/record.url?scp=33646231754&partnerID=8YFLogxK

U2 - 10.1016/j.entcs.2005.11.069

DO - 10.1016/j.entcs.2005.11.069

M3 - Paper

SP - 467

EP - 496

T2 - Proceedings of 21st Annual Conference in Mathematical Foundations of Computer Science (MFPSXX1), Birmingham, UK

Y2 - 12 May 2006

ER -