𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Coalgebraic Foundation for Linear Time Semantics

✍ Scribed by John Power; Daniele Turi

Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
743 KB
Volume
29
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Semantics for Timed MSC
A Semantics for Timed MSC
✍ Tong Zheng; Ferhat Khendek; LoΓ―c HelouΓ«t πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 310 KB
A causal semantics for time Petri nets
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 method for computing lexical semantic
A method for computing lexical semantic distance using linear functionals
✍ Del Jensen; Christophe Giraud-Carrier; Nathan Davis πŸ“‚ Article πŸ“… 2008 πŸ› Elsevier Science 🌐 English βš– 884 KB

This paper presents a novel, knowledge-based method for measuring semantic similarity in support of applications aimed at organizing and retrieving relevant textual information. We show how a quantitative context may be established for what is essentially qualitative in nature by effecting a topolog