Traces, executions and schedulers, coalgebraically

Fulltext present in this item

Fulltext: 75653.pdf

Format: PDF

Description: author's version

Title:	Traces, executions and schedulers, coalgebraically
Author(s):	Jacobs, B. ; Sokolova, A.
Publication year:	2009
In:	Lecture Notes in Computer Science, (2009)Kurz, A.; Tarlecki, A. (ed.), Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 206-221
Publisher:	Berlin : Springer
ISBN:	9783642037405
ISSN:	0302-9743
Annotation:	Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, 7 september 2009
Publication type:	Article in monograph or in proceedings
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/75653
Display more details
Editor(s):	Kurz, A.; Tarlecki, A.
Subject:	Digital Security
Organization:	Security of Systems Digital Security
Journal title:	Lecture Notes in Computer Science
Book title:	Kurz, A.; Tarlecki, A. (ed.), Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings
Page start:	p. 206
Page end:	p. 221

Faculty of Science [25931]
Open Access publications [48029]
Freely accessible full text publications
Electronic publications [74967]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [166213]
Academic output Radboud University