342 search results - page 11 / 69 » Coalgebraic Symbolic Semantics |
ATVA
2006
Springer
14 years 1 months ago
2006
Springer
In this paper we give a symbolic concurrent semantics for network of timed automata (NTA) in terms of extended symbolic nets. Extended symbolic nets are standard occurrence nets ex...
SEMWIKI
2008
13 years 11 months ago
2008
Abstract. We present semantic markup as a way to exploit the semantics of mathematics in a wiki. Semantic markup makes mathematical knowledge machine-processable and thus allows fo...
ISSTA
2012
ACM
12 years 7 days ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
ENTCS
2008
13 years 10 months ago
2008
In seeking a unified study of computational effects, in particular in order to give a general operational semantics agreeing with the standard one for state, one must take account...
ENTCS
2008
13 years 10 months ago
2008
bstraction Functor for Named Sets Vincenzo Ciancia 1 Ugo Montanari 1 Department of Computer Science University of Pisa lem of dening fully abstract operational models of name pass...