2171 search results - page 141 / 435 » A Generic Process Algebra |
105
Voted
IICS
2001
Springer
15 years 7 months ago
2001
Springer
In our terminology, a “deliberation” is a distributed collaborative process, more or less spontaneous, structured, and complex. This process can include both individual and col...
110
Voted
EMISA
2002
Springer
15 years 3 months ago
2002
Springer
Abstract: There is a lack of a systematic, generic, domain independent objectoriented software engineering process for software familes. In such process a system family should be t...
129
click to vote
IJCINI
2007
15 years 3 months ago
2007
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence shared by almost al...
138
click to vote
CONCUR
2009
Springer
15 years 9 months ago
2009
Springer
Bisimulation equivalence is decidable in polynomial time for both sequential and commutative normed context-free processes, known as BPA and BPP, respectively. Despite apparent sim...
127
click to vote
ASIAN
1998
Springer
15 years 7 months ago
1998
Springer
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...