✦ LIBER ✦

Extending statecharts with temporal logic

✍ Scribed by Sowmya, A.; Ramesh, S.

Book ID: 117872267
Publisher: IEEE
Year: 1998
Tongue: English
Weight: 260 KB
Volume: 24
Category: Article
ISSN: 0098-5589
DOI: 10.1109/32.667880

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Extending statecharts with process algeb

Extending statecharts with process algebra operators

✍ Marc Frappier; Frédéric Gervais; Régine Laleau; Benoît Fraikin; Richard St-Denis 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 334 KB

Extending constraint logic programming f

Extending constraint logic programming for temporal reasoning

✍ Evelina Lamma; Michela Milano; Paola Mello 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 200 KB

An Extended Branching-Time Ockhamist Tem

An Extended Branching-Time Ockhamist Temporal Logic

✍ Mark Brown; Valentin Goranko 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 134 KB

Application of formal methods to biologi

Application of formal methods to biological regulatory networks: extending Thomas’ asynchronous logical approach with temporal logic

✍ Gilles Bernot; Jean-Paul Comet; Adrien Richard; Janine Guespin 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 310 KB

Based on the discrete definition of biological regulatory networks developed by Rene´Thomas, we provide a computer science formal approach to treat temporal properties of biological regulatory networks, expressed in computational tree logic. It is then possible to build all the models satisfying a s

CONSERVATIVELY EXTENDING CLASSICAL LOGIC

CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH

✍ RIPLEY, DAVID 📂 Article 📅 2012 🏛 Cambridge University Press 🌐 English ⚖ 162 KB

Compositionality in the temporal logic o

Compositionality in the temporal logic of concurrent systems (extended abstract)

✍ F.S de Boer 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 932 KB