𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A continuous algebraic semantics of CSP

✍ Scribed by Zhiming Liu

Book ID
112947229
Publisher
Springer
Year
1989
Tongue
English
Weight
574 KB
Volume
4
Category
Article
ISSN
1000-9000

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Extending CSP: denotational semantics
Extending CSP: denotational semantics
✍ Lawrence, A.E. πŸ“‚ Article πŸ“… 2003 πŸ› The Institution of Electrical Engineers 🌐 English βš– 1016 KB
A semantics for Behavior Trees using CSP
A semantics for Behavior Trees using CSP with specification commands
✍ Robert J. Colvin; Ian J. Hayes πŸ“‚ Article πŸ“… 2011 πŸ› Elsevier Science 🌐 English βš– 639 KB

In this paper we give a formal definition of the requirements translation language Behavior Trees. This language has been used with success in industry to systematically translate large, complex, and often erroneous requirements documents into a structured model of the system. It contains a mixture