C. J. Koomen

发表

Fairness, queues and time

C. J. Koomen, 1991 .

The Design of Communicating Systems

C. J. Koomen, 1991 .

C. J. Koomen, 1991 .

CCS and Petri Nets

C. J. Koomen, 1991 .

Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Eighth International Conference on Computer Hardware Description Languages and Their Applications, Amsterdam, the Netherlands, 27-29 April, 1987

C. J. Koomen, Mario R. Barbacci, Ifip Wg, 1987 .

A structure theory for communication network control: A framework for system design

C. J. Koomen, 1982 .

Computer Hardware Description Languages and Their Applications

C. J. Koomen, T. Moto-Oka, 1985 .

The Application Model

C. J. Koomen, 1991 .

Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Seventh International Conference on Computer Hardware Description Languages and Their Applications, Tokyo, Japan, 29-31 August, 1985

C. J. Koomen, Ifip Wg, 元岡達, 1985 .

The Basic Design Cycle

C. J. Koomen, 1991 .

Algebraic specification and verification of communication protocols

C. J. Koomen, 1985 .

The Communication Model

C. J. Koomen, 1991 .

The Design of Communicating Systems: A System Engineering Approach

C. J. Koomen, 1991 .

The Process Model

C. J. Koomen, 1991 .

The Role of CAD and Learning in Design

C. J. Koomen, 1991 .

Calculus of Communicating Systems

C. J. Koomen, 1991 .

Design Process Descriptions

C. J. Koomen, 1991 .