✦ LIBER ✦

Modelling Component Behaviour with Concurrent Automata

✍ Scribed by Sotiris Moschoyiannis; Michael W. Shields; Paul J. Krause

Book ID: 108126530
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 368 KB
Volume: 141
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2005.04.035

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modelling driving behaviour using hybrid

Modelling driving behaviour using hybrid automata

✍ Eggert, Frank; Buntins, Matthias; Goltz, Ursula; Schwarze, Anke; Schicke-Uffmann 📂 Article 📅 2013 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 272 KB

From Petri Nets to Automata with Concurr

From Petri Nets to Automata with Concurrency

✍ Manfred Droste; R. M. Shortt 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 164 KB

Büchi automata for modeling component co

Büchi automata for modeling component connectors

✍ Mohammad Izadi; Marcello Bonsangue; Dave Clarke 📂 Article 📅 2010 🏛 Springer-Verlag 🌐 English ⚖ 893 KB

Modelling cellular automata with partial

Modelling cellular automata with partial differential equations

✍ Stephen Omohundro 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 420 KB

DisCComp – A Formal Model for Distribute

DisCComp – A Formal Model for Distributed Concurrent Components

✍ Andreas Rausch 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 860 KB

Modelling Rural Residential Settlement P

Modelling Rural Residential Settlement Patterns with Cellular Automata

✍ Peter Deadman; Robert D. Brown; H.Randy Gimblett 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 490 KB