467 search results - page 24 / 94 » Open bisimulation for aspects |
IJFCS
2008
13 years 7 months ago
2008
We consider the equivalence problem for labeled Markov chains (LMCs), where each state is labeled with an observation. Two LMCs are equivalent if every finite sequence of observat...
TAPSOFT
1991
Springer
13 years 11 months ago
1991
Springer
Abstract. CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others. Speech is autonomous, contention between sp...
DGO
2007
13 years 9 months ago
2007
This paper outlines the project highlights for the research project, Governing with Information Technologies. Categories and Subject Descriptors K.4.1 [Computers and Society]: Pub...
HICSS
2012
IEEE
12 years 3 months ago
2012
IEEE
—Citizen science is a form of research collaboration involving members of the public in scientific research projects to address real-world problems. Often organized as a virtual...
BMCBI
2006
13 years 7 months ago
2006
Background: Migration is an important aspect of cellular behaviour and is therefore widely studied in cell biology. Numerous components are known to participate in this process in...