著者典拠情報

著者標目形：
Winskel, Glynn
属性：
Personal
から見よ参照形：
Winskel, G.ynn
注記：
Seminar on Concurrency (1984 : Carnegie-Mellon University). Seminar on Concurrency, c1985: CIP t.p. (G. Winskel) galley (Glynn Winskel, Computer Sci. Dept., Cambridge Univ.)
著者典拠ID：
DA01053272


1.

図書
図書
1. Automata, languages and programming : 25th International Colloquium, ICALP '98, Aalborg, Denmark, July 13-17, 1998 : proceedings
Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1443
所蔵情報: 図書館
2.

図書
図書
2. The formal semantics of programming languages : an introduction
Glynn Winskel
出版情報: Cambridge, Mass. : MIT Press, c1993
シリーズ名: Foundations of computing
所蔵情報: 図書館, 研究室
3.

図書
図書
3. Seminar on concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984 (: gw ; : us)
edited by S.D. Brookes, A.W. Roscoe and G. Winskel
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985
シリーズ名: Lecture notes in computer science ; 197
所蔵情報: 図書館