>> Amazon.co.jp
このページのQRコード

Modal logic and process algebra : a bisimulation perspective

種類:
図書
責任表示:
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 <BA0037651X>
ISBN:
9781881526957 [188152695X]  CiNii Books  Calil
9781881526964 [1881526968] (: pbk)  CiNii Books  Calil
注記:
Papers presented at a workshop called "Three days of Bisimulation", which was held April 1994 at the Centre for Mathematics and Computer Sciences, Amsterdam
Includes bibliographical references and author index
"CSLI publications"
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Modal logic

Blackburn, Patrick, 1959-, Rijke, Maarten de, Venema, Yde, 1963-

Cambridge University Press
7 図書 WOPPLOT 83 : parallel processing--logic, organization, and technology : proceedings of a workshop held at the Federal Armed Forces University Munich (HSBw M) …

WOPPLOT, Becker, Jörg D., 1944-, Eisele, Ignaz, 1943-, Hochschule der Bundeswehr München

Springer-Verlag
2 図書 Algebra of communicating processes : proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16-17 May …

Workshop on the Algebra of Communicating Processes (1st : 1994 : Utrecht, Netherlands), Ponse, A. (Alban), 1955-, &hellip;

Springer-Verlag
8 図書 Parallelism, learning, evolution : Workshop on Evolutionary Models and Strategies, Neubiberg, Germany, March 10-11, 1989, Workshop on Parallel Processing, …

Workshop on Evolutionary Models and Strategies, WOPPLOT, Becker, Jörg D., 1944-, Eisele, Ignaz, 1943-, Mündemann, F. W.

Springer Verlag
3 図書 Advances in modal logic

Kracht, Marcus

CSLI Publications
9 図書 Parallel processing of discrete optimization problems : DIMACS workshop, April 28-29, 1994

Pardalos, P. M. (Panos M.), 1954-, Resende, Mauricio G. C., 1955-, Ramakrishnan, K. G., 1952-, DIMACS (Group), NSF &hellip;

American Mathematical Society
4 図書 Handbook of process algebra

Bergstra, J. A., Ponse, A. (Alban), 1955-, Smolka, S. A.

Elsevier
10 図書 Logics and models of concurrent systems

NATO Advanced Study Institute on Logics and Models of Concurrent Systems, Apt, Krzysztof R., 1949-, North Atlantic &hellip;

Springer-Verlag
5 図書 WOPPLOT 86 : parallel processing : logic, organization, and technology : proceedings of a workshop, Neubiberg, Federal Republic of Germany, July 2-4, 1986

WOPPLOT, Becker, Jörg D., 1944-, Eisele, Ignaz, 1943-

Springer-Verlag
11 図書 Automata, languages and programming : 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings

International Colloquium on Automata, Languages and Programming, Orejas, Fernando, Spirakis, P. G. (Paul G.), 1955-, &hellip;

Springer
6 図書 Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings

International Conference on Logic Programming, Beaumont, A., 1959-, Gupta, G., 1963-

Springer-Verlag
12 図書 Computer algebra and parallelism

Della Dora, J., Fitch, John, 1945-

Academic Press