1788 search results - page 41 / 358 » Model Theory for Process Algebra |
158
click to vote
IEEEICCI
2009
IEEE
15 years 10 months ago
2009
IEEE
An interval set is an interval in the power set lattice based on a universal set and is a family of subsets of the universal set. Interval sets and interval-set algebras provide a...
139
click to vote
ISPDC
2003
IEEE
15 years 8 months ago
2003
IEEE
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
113
click to vote
ENTCS
2007
15 years 3 months ago
2007
There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...
116
click to vote
AGI
2008
15 years 4 months ago
2008
Abstract. This paper presents a model of intelligence based on principles introduced by Piaget and the interactivist framework. It focuses on embodiment and sensory-motor aspects o...
111
click to vote
LISP
2006
15 years 3 months ago
2006
In this paper we survey some well-known approaches proposed as general models for calculi dealing with names (like for example process calculi with name-passing). We focus on (pre)...