Digging into Concurrency

Computing and Communications

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Standard

Digging into Concurrency. / Chandler, A.; Patching, Serena; Blair, Lynne.
Concurrency in Dependable Computing. ed. / P. Ezhilchelvan; Alexander Romanovsky. Boston, Mass.: Kluwer Academic Publishers, 2002.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Chandler, A, Patching, S & Blair, L 2002, Digging into Concurrency. in P Ezhilchelvan & A Romanovsky (eds), Concurrency in Dependable Computing. Kluwer Academic Publishers, Boston, Mass., Workshop on Concurrency in Dependable Computing, 1/01/00. <http://www.comp.lancs.ac.uk/computing/users/lb/Postscript/Conc_PN01.pdf>

APA

Chandler, A., Patching, S., & Blair, L. (2002). Digging into Concurrency. In P. Ezhilchelvan, & A. Romanovsky (Eds.), Concurrency in Dependable Computing Kluwer Academic Publishers. http://www.comp.lancs.ac.uk/computing/users/lb/Postscript/Conc_PN01.pdf

Vancouver

Chandler A, Patching S, Blair L. Digging into Concurrency. In Ezhilchelvan P, Romanovsky A, editors, Concurrency in Dependable Computing. Boston, Mass.: Kluwer Academic Publishers. 2002

Author

Chandler, A. ; Patching, Serena ; Blair, Lynne. / Digging into Concurrency. Concurrency in Dependable Computing. editor / P. Ezhilchelvan ; Alexander Romanovsky. Boston, Mass. : Kluwer Academic Publishers, 2002.

Bibtex

@inproceedings{62b782e1422f46158dcae8570bb8c841,

title = "Digging into Concurrency",

abstract = "The topic of this paper is the design and implementation of an interacting Lego digger and dumper truck through the use of Petri nets. The focus of this is primarily on the use of Petri nets in the developing of dependable systems, an area of particular concern in the full-size equivalent of our experiment. The content of this paper will discuss the progression of the Petri net model of these two Lego robots, from design to implementation, and finally evaluation. The paper also features an extension to the Petri net, intended to allow the dumper to authenticate the digger for added security.",

author = "A. Chandler and Serena Patching and Lynne Blair",

year = "2002",

language = "English",

isbn = "9781402070433",

editor = "P. Ezhilchelvan and Romanovsky, {Alexander }",

booktitle = "Concurrency in Dependable Computing",

publisher = "Kluwer Academic Publishers",

note = "Workshop on Concurrency in Dependable Computing ; Conference date: 01-01-1900",

}

RIS

TY - GEN

T1 - Digging into Concurrency

AU - Chandler, A.

AU - Patching, Serena

AU - Blair, Lynne

PY - 2002

Y1 - 2002

N2 - The topic of this paper is the design and implementation of an interacting Lego digger and dumper truck through the use of Petri nets. The focus of this is primarily on the use of Petri nets in the developing of dependable systems, an area of particular concern in the full-size equivalent of our experiment. The content of this paper will discuss the progression of the Petri net model of these two Lego robots, from design to implementation, and finally evaluation. The paper also features an extension to the Petri net, intended to allow the dumper to authenticate the digger for added security.

AB - The topic of this paper is the design and implementation of an interacting Lego digger and dumper truck through the use of Petri nets. The focus of this is primarily on the use of Petri nets in the developing of dependable systems, an area of particular concern in the full-size equivalent of our experiment. The content of this paper will discuss the progression of the Petri net model of these two Lego robots, from design to implementation, and finally evaluation. The paper also features an extension to the Petri net, intended to allow the dumper to authenticate the digger for added security.

M3 - Conference contribution/Paper

SN - 9781402070433

BT - Concurrency in Dependable Computing

A2 - Ezhilchelvan, P.

A2 - Romanovsky, Alexander

PB - Kluwer Academic Publishers

CY - Boston, Mass.

T2 - Workshop on Concurrency in Dependable Computing

Y2 - 1 January 1900

ER -

Research

Links