✦ LIBER ✦

A formal description of pneumatic impact mechanisms

✍ Scribed by E. V. Gaisler

Publisher: Springer
Year: 1990
Tongue: English
Weight: 309 KB
Volume: 26
Category: Article
ISSN: 1573-8736
DOI: 10.1007/bf02499565

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modeling the operation of pneumatic impa

Modeling the operation of pneumatic impact mechanisms

✍ V. A. Filimonov; V. P. Gileta; B. N. Smolyanitskii 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 370 KB

Selection of parameters for a pneumatic

Selection of parameters for a pneumatic impact mechanism with valve air distribution

✍ L. L. Lysenko 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 402 KB

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

A formal description of tactical plan re

A formal description of tactical plan recognition

✍ Frank Mulder; Frans Voorbraak 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 201 KB

Towards a formal description of intracel

Towards a formal description of intracellular biochemical organization

✍ W.M.L. Holcombe 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 585 KB

A formal description of representation t

A formal description of representation theorems for constitutive functions

✍ W. O. Williams 📂 Article 📅 1980 🏛 Springer 🌐 English ⚖ 1004 KB