Titlebook: CONCUR ‘90: Theories of Concurrency: Unification and Extension; Theories of Concurre J. C. M. Baeten,J. W. Klop Conference proceedings 1990

同时发生

Arteriography

并入

HPA533

SEED

易受骗

ventilate

The need for headers: An impossibility result for communication over unreliable channels,ackets some header information that enables the protocol to treat different packets differently. The physical channel considered is permitted to lose, but not reorder or duplicate packets. The formal framework used for the proof is the I/O automaton model.

脆弱吧

A temporal approach to algebraic specifications,algebras and algebraic specifications. Every algebra we concern here is finitely generated and associated with an implicit transition structure. The operators in the algebra may be partially defined. The class of algebras could be used as Kripke semantic models to interpret the temporals, so that we