647 search results - page 9 / 130 » Generic Trace Logics |
CONCUR
2010
Springer
14 years 10 months ago
2010
Springer
Higher dimensional automata (HDA) are a model of concurrency that can express most of the traditional partial order models like Mazurkiewicz traces, pomsets, event structures, or P...
VSTTE
2005
Springer
15 years 2 months ago
2005
Springer
ASPDAC
1995
ACM
15 years 1 months ago
1995
ACM
114
click to vote
FUIN
2007
14 years 9 months ago
2007
Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...
113
click to vote
FOSSACS
2006
Springer
15 years 1 months ago
2006
Springer
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove tha...