342 search results - page 15 / 69 » Coalgebraic Symbolic Semantics |
APN
2008
Springer
13 years 11 months ago
2008
Springer
In this paper, we address the class of bounded Petri nets with stopwatches (SwPNs), which is an extension of T-time Petri nets (TPNs) where time is associated with transitions. Con...
SEMCO
2007
IEEE
14 years 4 months ago
2007
IEEE
The work presented in this paper aims to combine Latent Semantic Analysis methodology, common sense and traditional knowledge representation in order to improve the dialogue capab...
ECMDAFA
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. In this paper we introduce an aspect language that can define crosscutting e
SAC
2008
ACM
13 years 9 months ago
2008
ACM
ESOP
2009
Springer
14 years 4 months ago
2009
Springer
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...