著者典拠情報

著者標目形：
Baeten, J. C. M.
属性：
Personal
注記：
His Filters and ultrafilters over definable subsets of admissible ordinals, c1986: t.p. (J.C.M. Baeten)
著者典拠ID：
DA01868152


1.

図書
図書
1. CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, the Netherlands, August 26-29, 1991 : proceedings (: gw ; : us)
J.C.M. Baeten, J.F. Groote, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 527
所蔵情報: 図書館
2.

図書
図書
2. Applications of process algebra
edited by J.C.M. Baeten
出版情報: Cambridge ; New York : Cambridge University Press, 1990
シリーズ名: Cambridge tracts in theoretical computer science ; 17
所蔵情報: 図書館
3.

図書
図書
3. CONCUR '90 : theories of concurrency: unification and extension : Amsterdam, the Netherlands, August 27-30, 1990 : proceedings (: gw ; : us)
J.C.M. Baeten, J.W. Klop (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 458
所蔵情報: 図書館
4.

図書
図書
4. Process algebra
J.C.M. Baeten, W.P. Weijland
出版情報: Cambridge ; New York : Cambridge University Press, 1990
シリーズ名: Cambridge tracts in theoretical computer science ; 18
所蔵情報: 図書館, 研究室