1788 search results - page 49 / 358 » Model Theory for Process Algebra |
117
click to vote
FSEN
2009
Springer
15 years 7 months ago
2009
Springer
Automata theory presents roughly three types of automata: finite automata, pushdown automata and Turing machines. The automata are treated as language acceptors, and the expressiv...
103
Voted
CAI
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. The concatenation product is one of the most important operations on regular languages. Its study requires sophisticated tools from algebra, finite model theory and pro...
107
Voted
BPM
2006
Springer
15 years 2 months ago
2006
Springer
The theory of regions and the algorithms for synthesizing a Petri net model from a transition system, which are based on this theory, have interesting practical applications
86
Voted
FLAIRS
2003
15 years 1 months ago
2003
In this paper, we discuss a formalism for modeling regions that are exposed to movement or deformation. The basis of our formalism is the RCC theory, which uses topological relati...
85
Voted
SOFSEM
2009
Springer
15 years 9 months ago
2009
Springer
We develop a game semantics for process algebra with two interacting agents. The purpose of our semantics is to make manifest the role of knowledge and information flow in the int...