Ready to Preorder: Get Your BCCSP Axiomatization for Free!

L. Aceto; W.J. Fokkink; A. Ingólfsdóttir

Ready to Preorder: Get Your BCCSP Axiomatization for Free!

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

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

Original language	English
Pages (from-to)	65-79
Journal	Lecture Notes in Computer Science
Volume	4624
Publication status	Published - 2007

Bibliographical note

DBLP:conf/calco/AcetoFI07
Proceedings title: Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
Publisher: Springer
Editors: T. Mossakowski, U. Montanari, M. Haveraaen

Persistent URL (handle)

Persistent link

Cite this

@article{0173a73c4bb140a7bb47a04a8b4d2d92,

title = "Ready to Preorder: Get Your BCCSP Axiomatization for Free!",

author = "L. Aceto and W.J. Fokkink and A. Ing{\'o}lfsd{\'o}ttir",

note = "DBLP:conf/calco/AcetoFI07 Proceedings title: Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings Publisher: Springer Editors: T. Mossakowski, U. Montanari, M. Haveraaen",

year = "2007",

language = "English",

volume = "4624",

pages = "65--79",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

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

}

TY - JOUR

T1 - Ready to Preorder: Get Your BCCSP Axiomatization for Free!

AU - Aceto, L.

AU - Fokkink, W.J.

AU - Ingólfsdóttir, A.

N1 - DBLP:conf/calco/AcetoFI07 Proceedings title: Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings Publisher: Springer Editors: T. Mossakowski, U. Montanari, M. Haveraaen

PY - 2007

Y1 - 2007

M3 - Article

SN - 0302-9743

VL - 4624

SP - 65

EP - 79

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -