✦ LIBER ✦

Refinement of actions and equivalence notions for concurrent systems

✍ Scribed by Rob van Glabbeek; Ursula Goltz

Publisher: Springer-Verlag
Year: 2001
Tongue: English
Weight: 739 KB
Volume: 37
Category: Article
ISSN: 0001-5903
DOI: 10.1007/s002360000041

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Refinement of actions for real-time conc

Refinement of actions for real-time concurrent systems with causal ambiguity

✍ Mila Majster-Cederbaum; Jinzhao Wu; Houguang Yue 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 639 KB

τ-Bisimulations and full abstraction for

τ-Bisimulations and full abstraction for refinement of actions

✍ F. Cherief; Ph. Schnoebelen 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 525 KB

Equivalence of dirac and intrinsic quant

Equivalence of dirac and intrinsic quantization for non-free group actions

✍ C. Emmrich 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 674 KB

The specification and design of atomic a

The specification and design of atomic actions for fault tolerant concurrent software

✍ A.M. Tyrrell; G.F. Carpenter 📂 Article 📅 1992 🏛 Elsevier Science ⚖ 321 KB

Cocycle and orbit equivalence superrigid

Cocycle and orbit equivalence superrigidity for malleable actions of w-rigid groups

✍ Sorin Popa 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 693 KB

Structured implementation of information

Structured implementation of information systems for concurrent engineering

✍ Walter W.C. Chung; Stanley K.O. Chik 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 243 KB

## Abstract This article presents a collaboration approach to assimilate the best practice of concurrent engineering (CE) in a small manufacturing enterprise for gaining sustainable improvements. The major challenge in CE is sharing a mental model of parallel working across departments in a company