✦ LIBER ✦

A Semantics for Timed MSC

✍ Scribed by Tong Zheng; Ferhat Khendek; Loïc Helouët

Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 310 KB
Volume: 65
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80486-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A causal semantics for time Petri nets

✍ Tuomas Aura; Johan Lilius 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 463 KB

The objective of this work is to give time Petri nets a partial order semantics, akin to the nonsequential processes of untimed net systems. To this end a time process of a time Petri net is deÿned as a traditionally constructed causal process with a valid timing. A timing is a labelling that attach

A Coalgebraic Foundation for Linear Time

A Coalgebraic Foundation for Linear Time Semantics

✍ John Power; Daniele Turi 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 743 KB

Intertextual semantics: A semantics for

Intertextual semantics: A semantics for information design

✍ Yves Marcoux; Élias Rizkallah 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 120 KB 👁 1 views

Weakest precondition semantics for time

Weakest precondition semantics for time and concurrency

✍ D Scholefield; H.S.M Zedan 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 616 KB

A semantics for λProlog

✍ D.A. Wolfram 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 666 KB

A timed model for communicating sequenti

A timed model for communicating sequential processes

✍ G.M. Reed; A.W. Roscoe 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 844 KB