PyCSP Revisited

Brian Vinter; John Markus Bjørndalen; Rune Møllegaard Friborg

PyCSP Revisited

Brian Vinter, John Markus Bjørndalen, Rune Møllegaard Friborg

Datalogisk Institut

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Abstract

PyCSP was introduced two years ago and has since been used by a number of programmers, especially students. The original motivation behind PyCSP was a conviction that both Python and CSP are tools that are especially well suited for programmers and scientists in other fields than computer science. Working under this premise the original PyCSP was very similar to JCSP and the motivation was simply to provide CSP to the Python community in the JCSP tradition. After two years we have concluded that PyCSP is indeed a usable tool for the target users; however many of them have raised some of the same issues with PyCSP as with JCSP. The many channel types, lack of output guards and external choice wrapped in the select-then-execute mechanism were frequent complaints. In this work we revisit PyCSP and address the issues that have been raised. The result is a much simpler PyCSP with only one channel type, support for output guards, and external choice that is closer to that of occam than JCSP.

Originalsprog	Engelsk
Titel	Communicating Process Architectures 2009 : WoTUG-32, Proceedings of the 32nd WoTUG Technical Meeting
Redaktører	Peter H. Welch, Herman W. Roebbers, Jan F. Broenink, Frederick R.M. Barnes, Carl G. Ritson, Adam T. Sampson, Gardiner S. Stiles, Brian Vinter
Antal sider	13
Forlag	IOS Press
Publikationsdato	2009
Sider	263-276
ISBN (Trykt)	978-1-60750-065-0
Status	Udgivet - 2009
Begivenhed	Communicating Process Architectures Conference - Eindhoven, Holland Varighed: 1 nov. 2009 → 4 nov. 2009 Konferencens nummer: 32

Konference

Konference	Communicating Process Architectures Conference
Nummer	32
Land/Område	Holland
By	Eindhoven
Periode	01/11/2009 → 04/11/2009

Navn	Concurrent Systems Engineering
Nummer	67

Citationsformater

PyCSP Revisited. / Vinter, Brian; Bjørndalen, John Markus; Friborg, Rune Møllegaard.
Communicating Process Architectures 2009: WoTUG-32, Proceedings of the 32nd WoTUG Technical Meeting. red. / Peter H. Welch; Herman W. Roebbers; Jan F. Broenink; Frederick R.M. Barnes; Carl G. Ritson; Adam T. Sampson; Gardiner S. Stiles; Brian Vinter. IOS Press, 2009. s. 263-276 (Concurrent Systems Engineering; Nr. 67).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Vinter, B, Bjørndalen, JM & Friborg, RM 2009, PyCSP Revisited. i PH Welch, HW Roebbers, JF Broenink, FRM Barnes, CG Ritson, AT Sampson, GS Stiles & B Vinter (red), Communicating Process Architectures 2009: WoTUG-32, Proceedings of the 32nd WoTUG Technical Meeting. IOS Press, Concurrent Systems Engineering, nr. 67, s. 263-276, Communicating Process Architectures Conference, Eindhoven, Holland, 01/11/2009.

Vinter, Brian ; Bjørndalen, John Markus ; Friborg, Rune Møllegaard. / PyCSP Revisited. Communicating Process Architectures 2009: WoTUG-32, Proceedings of the 32nd WoTUG Technical Meeting. red. / Peter H. Welch ; Herman W. Roebbers ; Jan F. Broenink ; Frederick R.M. Barnes ; Carl G. Ritson ; Adam T. Sampson ; Gardiner S. Stiles ; Brian Vinter. IOS Press, 2009. s. 263-276 (Concurrent Systems Engineering; Nr. 67).

@inproceedings{e33b9660e63211deba73000ea68e967b,

title = "PyCSP Revisited",

abstract = "PyCSP was introduced two years ago and has since been used by a number of programmers, especially students. The original motivation behind PyCSP was a conviction that both Python and CSP are tools that are especially well suited for programmers and scientists in other fields than computer science. Working under this premise the original PyCSP was very similar to JCSP and the motivation was simply to provide CSP to the Python community in the JCSP tradition. After two years we have concluded that PyCSP is indeed a usable tool for the target users; however many of them have raised some of the same issues with PyCSP as with JCSP. The many channel types, lack of output guards and external choice wrapped in the select-then-execute mechanism were frequent complaints. In this work we revisit PyCSP and address the issues that have been raised. The result is a much simpler PyCSP with only one channel type, support for output guards, and external choice that is closer to that of occam than JCSP.",

author = "Brian Vinter and Bj{\o}rndalen, {John Markus} and Friborg, {Rune M{\o}llegaard}",

year = "2009",

language = "English",

isbn = "978-1-60750-065-0",

series = "Concurrent Systems Engineering",

publisher = "IOS Press",

number = "67",

pages = "263--276",

editor = "Welch, {Peter H.} and Roebbers, {Herman W.} and Broenink, {Jan F.} and Barnes, {Frederick R.M.} and Ritson, {Carl G.} and Sampson, {Adam T.} and Stiles, {Gardiner S.} and Brian Vinter",

booktitle = "Communicating Process Architectures 2009",

address = "United States",

note = "Communicating Process Architectures Conference ; Conference date: 01-11-2009 Through 04-11-2009",

}

TY - GEN

T1 - PyCSP Revisited

AU - Vinter, Brian

AU - Bjørndalen, John Markus

AU - Friborg, Rune Møllegaard

N1 - Conference code: 32

PY - 2009

Y1 - 2009

N2 - PyCSP was introduced two years ago and has since been used by a number of programmers, especially students. The original motivation behind PyCSP was a conviction that both Python and CSP are tools that are especially well suited for programmers and scientists in other fields than computer science. Working under this premise the original PyCSP was very similar to JCSP and the motivation was simply to provide CSP to the Python community in the JCSP tradition. After two years we have concluded that PyCSP is indeed a usable tool for the target users; however many of them have raised some of the same issues with PyCSP as with JCSP. The many channel types, lack of output guards and external choice wrapped in the select-then-execute mechanism were frequent complaints. In this work we revisit PyCSP and address the issues that have been raised. The result is a much simpler PyCSP with only one channel type, support for output guards, and external choice that is closer to that of occam than JCSP.

AB - PyCSP was introduced two years ago and has since been used by a number of programmers, especially students. The original motivation behind PyCSP was a conviction that both Python and CSP are tools that are especially well suited for programmers and scientists in other fields than computer science. Working under this premise the original PyCSP was very similar to JCSP and the motivation was simply to provide CSP to the Python community in the JCSP tradition. After two years we have concluded that PyCSP is indeed a usable tool for the target users; however many of them have raised some of the same issues with PyCSP as with JCSP. The many channel types, lack of output guards and external choice wrapped in the select-then-execute mechanism were frequent complaints. In this work we revisit PyCSP and address the issues that have been raised. The result is a much simpler PyCSP with only one channel type, support for output guards, and external choice that is closer to that of occam than JCSP.

M3 - Article in proceedings

SN - 978-1-60750-065-0

T3 - Concurrent Systems Engineering

SP - 263

EP - 276

BT - Communicating Process Architectures 2009

A2 - Welch, Peter H.

A2 - Roebbers, Herman W.

A2 - Broenink, Jan F.

A2 - Barnes, Frederick R.M.

A2 - Ritson, Carl G.

A2 - Sampson, Adam T.

A2 - Stiles, Gardiner S.

A2 - Vinter, Brian

PB - IOS Press

T2 - Communicating Process Architectures Conference

Y2 - 1 November 2009 through 4 November 2009

ER -