Sciweavers

Share
FUIN
2007
91views more  FUIN 2007»
8 years 11 months ago
Towards a Framework for Modelling Behaviours of Hybrid Systems
The paper is devoted to characterizing hybrid systems by specifying their possible runs, called processes, where each process is represented by a pomset in an intrinsic, global tim...
Józef Winkowski
FUIN
2007
89views more  FUIN 2007»
8 years 11 months ago
Maurer Computers with Single-Thread Control
We present the development of a theory of stored threads and their execution. The work builds upon Maurer’s theory of computer instructions and the thread algebra of Bergstra et ...
Jan A. Bergstra, C. A. Middelburg
FUIN
2007
109views more  FUIN 2007»
8 years 11 months ago
Computing Properties of Numerical Imperative Programs by Symbolic Computation
We show how properties of an interesting class of imperative programs can be calculated by means of relational modeling and symbolic computation. The ideas of [5, 26] are implement...
Jacques Carette, Ryszard Janicki
FUIN
2007
93views more  FUIN 2007»
8 years 11 months ago
Finitary Compositions of Two-way Finite-State Transductions
Abstract. The hierarchy of arbitrary compositions of two-way nondeterministic finite-state transductions collapses when restricted to finitary transductions, i.e., transductions ...
Joost Engelfriet, Hendrik Jan Hoogeboom
FUIN
2007
135views more  FUIN 2007»
8 years 11 months ago
On First-Order Fragments for Mazurkiewicz Traces
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...
Volker Diekert, Martin Horsch, Manfred Kufleitner
FUIN
2007
91views more  FUIN 2007»
8 years 11 months ago
On Communicating Automata with Bounded Channels
Abstract. We review the characterization of communicating finite-state machines whose behaviors have universally or existentially bounded channels. These results rely on the theor...
Blaise Genest, Dietrich Kuske, Anca Muscholl
FUIN
2007
65views more  FUIN 2007»
8 years 11 months ago
Modal Logics for Region-based Theories of Space
Philippe Balbiani, Tinko Tinchev, Dimiter Vakarelo...
FUIN
2007
90views more  FUIN 2007»
8 years 11 months ago
Static BiLog: a Unifying Language for Spatial Structures
Giovanni Conforti, Damiano Macedonio, Vladimiro Sa...
FUIN
2007
89views more  FUIN 2007»
8 years 11 months ago
The Decent Philosophers: An Exercise in Concurrent Behaviour
Concurrent runs reveal more insight into distributed systems than interleaved runs. This is shown by help of Dijkstra’s paradigm of five philosophers.
Wolfgang Reisig
FUIN
2007
84views more  FUIN 2007»
8 years 11 months ago
Abstract Barycentric Algebras
Anna B. Romanowska, Jonathan D. H. Smith, Ewa Orlo...
books