On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces

S. Blom; W.J. Fokkink; S. Nain

On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces

S. Blom, W.J. Fokkink, S. Nain

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	109-118
Journal	Lecture Notes in Computer Science
Volume	2719
Publication status	Published - 2003

Bibliographical note

DBLP:conf/icalp/BlomFN03
Proceedings title: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings
Publisher: Springer
Editors: J.C.M. Baeten, J.K. Lenstra, J. Parrow, G.J. Woeginger

Persistent URL (handle)

Persistent link

Cite this

@article{64e3c627e3ce4323a4d142785ce75027,

title = "On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces",

author = "S. Blom and W.J. Fokkink and S. Nain",

note = "DBLP:conf/icalp/BlomFN03 Proceedings title: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings Publisher: Springer Editors: J.C.M. Baeten, J.K. Lenstra, J. Parrow, G.J. Woeginger",

year = "2003",

language = "English",

volume = "2719",

pages = "109--118",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

}

TY - JOUR

T1 - On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces

AU - Blom, S.

AU - Fokkink, W.J.

AU - Nain, S.

N1 - DBLP:conf/icalp/BlomFN03 Proceedings title: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings Publisher: Springer Editors: J.C.M. Baeten, J.K. Lenstra, J. Parrow, G.J. Woeginger

PY - 2003

Y1 - 2003

M3 - Article

SN - 0302-9743

VL - 2719

SP - 109

EP - 118

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -