210 search results - page 4 / 42 » Definability and automorphisms in abstract logics |
CSR
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. We study a quantitative model of traces, i.e. trace series which assign to every trace an element from a semiring. We show the coincidence of recognizable trace series wi...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
WS-BPEL Processes Dieter K?nig IBM B?blingen Laboratory Sch?naicher Stra?e 220, 71032 B?blingen, Germany dieterkoenig@de.ibm.com Niels Lohmann Universit?t Rostock, Institut f?r Inf...
COORDINATION
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We present a model for choreography `a la WS-CDL and formalize it in DSTL(x), a spatio
FOSSACS
2006
Springer
13 years 11 months ago
2006
Springer
We take the point of view that, if transition systems are coalgebras for a functor T, then an adequate logic for these transition systems should arise from the `Stone dual' L ...
DEON
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding...