著者典拠情報

著者標目形：
Ponse, A. (Alban), 1955-
属性：
Personal
日付：
1955-
から見よ参照形：
Ponse, Alban, 1955-
注記：
Algebra of communicating processes, 1994: CIP t.p. (A. Ponse) data sheet (Alban Ponse; b. 09-29-55)
SRC:Algebra of communicating processes : proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-17 May 1994 / A. Ponse, C. Verhoef, and S.F.M. van Vlijmen (eds)(Springer-Verlag, c1995)
著者典拠ID：
DA08924262


1.

図書
図書
1. Handbook of process algebra
edited by J.A. Bergstra, A. Ponse, S.A. Smolka
出版情報: Amsterdam : Elsevier, 2001
所蔵情報: 図書館
2.

図書
図書
2. Modal logic and process algebra : a bisimulation perspective (: pbk)
edited by Alban Ponse, Maarten de Rijke & Yde Venema
出版情報: Stanford, Calif. : Center for the Study of Language and Information, c1995
シリーズ名: CSLI lecture notes ; no. 53
所蔵情報: 図書館
3.

図書
図書
3. Algebra of communicating processes : proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-17 May 1994 (: us ; : gw)
A. Ponse, C. Verhoef, and S.F.M. van Vlijmen (eds)
出版情報: London ; New York : Springer-Verlag, c1995
シリーズ名: Workshops in computing
所蔵情報: 研究室