3239 search results - page 117 / 648 » A Logical Process Calculus |
125
click to vote
ISMVL
2006
IEEE
15 years 6 months ago
2006
IEEE
Multiple-valued logic can be viewed as an alternative approach to solving many problems in transmission, storage, and processing of large and even increasing amounts of informatio...
113
click to vote
ISORC
2005
IEEE
15 years 6 months ago
2005
IEEE
Service-based systems have many applications, including collaborative research and development, e-business, health care, environmental control, military applications, and homeland...
106
Voted
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
A challenging research issue of analyzing networks where packets are served probabilistically, such as multi-access networks and wireless networks, is to characterize the stochasti...
97
Voted
TCS
2008
15 years 19 days ago
2008
Beta-binders is a recent process calculus developed for modelling and simulating biological systems. As usual for process calculi, the semantic definition heavily relies on a stru...
91
Voted
CONCUR
2000
Springer
15 years 5 months ago
2000
Springer
The theory of chi processes with the mismatch operator is studied. Two open congruence relations are investigated. These are weak early open congruence and weak late open congruenc...