✦ LIBER ✦

Time, Abstraction, Causality and Modularity in Interactive Systems: Extended Abstract

✍ Scribed by Manfred Broy

Book ID: 108126453
Publisher: Elsevier Science
Year: 2004
Tongue: English
Weight: 138 KB
Volume: 108
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2004.11.003

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Relating Time and Causality in Interacti

Relating Time and Causality in Interactive Distributed Systems

✍ Broy, Manfred 📂 Article 📅 2010 🏛 Cambridge University Press 🌐 English ⚖ 547 KB

Specifying Real-Time Finite-State System

Specifying Real-Time Finite-State Systems in Linear Logic (Extended Abstract)

✍ Max I. Kanovich; Mitsuhiro Okada; Andre Scedrov 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 1008 KB

Vector time and causality among abstract

Vector time and causality among abstract events in distributed computations

✍ Twan Basten; Thomas Kunz; James P. Black; Michael H. Coffin; David J. Taylor 📂 Article 📅 1997 🏛 Springer-Verlag 🌐 English ⚖ 301 KB

ChemInform Abstract: Carbohydrate—Carboh

ChemInform Abstract: Carbohydrate—Carbohydrate Interactions in Biological and Model Systems.

✍ Javier Rojo; Juan Carlos Morales; Soledad Penades 📂 Article 📅 2010 🏛 John Wiley and Sons ⚖ 24 KB 👁 1 views

ChemInform Abstract: Interactions in Pla

ChemInform Abstract: Interactions in Plastocyanin—Lysine Peptide and Related Systems

✍ Shun Hirota; Osamu Yamauchi 📂 Article 📅 2010 🏛 John Wiley and Sons ⚖ 24 KB

## Abstract ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 100 leading journals. To access a ChemInform Abstract of an article which was published elsewhere, please select a “Full Text” option. The original article is trackable v

ChemInform Abstract: Cation-π Interactio

ChemInform Abstract: Cation-π Interactions in Calix(n)arene and Related Systems

✍ P. LHOTAK; S. SHINKAI 📂 Article 📅 2010 🏛 John Wiley and Sons ⚖ 26 KB 👁 1 views