1788 search results - page 41 / 358 » Model Theory for Process Algebra |
134
Voted
IEEEICCI
2009
IEEE
15 years 7 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...
118
Voted
ISPDC
2003
IEEE
15 years 5 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...
89
Voted
ENTCS
2007
15 years 15 days 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...
93
Voted
AGI
2008
15 years 2 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...
90
Voted
LISP
2006
15 years 15 days 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)...