Titlebook: Semantics of Parallelism; Non-Interleaving Rep Michael W. Shields Book 1997 Springer-Verlag London Limited 1997 Notation.automata.bisimulat

CLOWN

敘述

infantile

鎮(zhèn)壓

978-3-540-76059-7Springer-Verlag London Limited 1997

很是迷惑

Behavioural Presentations,In this chapter, we set out a model of system behaviour, the .. We shall use behavioural presentations to model the potential behaviour of a given system. In this way we may equip description formalisms with an operational semantics by defining a function from the set of all legal descriptions to the class of behavioural presentations

Buttress

Order Theoretic Properties of Left-Closed Behavioural Presentations,We wish to use discrete behavioural presentations to describe and reason about the behaviour of systems, so it would be helpful to know about their properties.

Flawless

狂怒

很像弓]

我悲傷

Determinacy,In this chapter, we examine the structure of the behaviours of certain kinds of determinate systems. We begin by recasting some of the properties examined in chapter 7 in terms of vector languages.