469 search results - page 6 / 94 » Process Algebras for Collective Dynamics |
169
click to vote
ANSOFT
2002
15 years 3 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
140
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
PGA (ProGram Algebra) is an algebra of programs which concerns programs in their simplest form: sequences of instructions. Molecular dynamics is a simple model of computation deve...
139
click to vote
ECAL
1999
Springer
15 years 7 months ago
1999
Springer
We report on a case study in the emergence of a lexicon in a group of autonomous distributed agents situated and grounded in an open environment. Because the agents are autonomous,...
134
Voted
ECLIPSE
2005
ACM
15 years 5 months ago
2005
ACM
The heterogeneity and dynamism of today’s software systems make it difficult to assess the performance, correctness, or security of a system outside the actual time and context ...
112
Voted
CALCO
2005
Springer
15 years 9 months ago
2005
Springer
This paper shows that bisimulation equivalence does not afford a finite equational axiomatization over the language obtained by enriching Bergstra and Klop’s Basic Process Alge...