𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A formal description of tactical plan recognition

✍ Scribed by Frank Mulder; Frans Voorbraak

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
201 KB
Volume
4
Category
Article
ISSN
1566-2535

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A formal description of monitors by CCS
A formal description of monitors by CCS
✍ Shoji Yuen; Toshiki Sakabe; Yasuyoshi Inagaki πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 873 KB

## Abstract This paper formalizes the operation of a monitorβ€”one of the fundamental models for concurrent processingβ€”in a framework which is an extension of CCS (the calculus of communication systems) proposed by Milner. The purpose of this paper is to define the mutual exclusion and synchronizatio