366 search results - page 22 / 74 » Four equivalent equivalences of reductions |
ECIS
2004
14 years 11 months ago
2004
E-collaboration is much more than the technological equivalent or substitute for traditional face-toface collaboration. The new metrics of time and distance modify, in essence, hu...
DNA
2006
Springer
15 years 1 months ago
2006
Springer
P system is a natural computing model inspired by behavior of living cells and their membranes. We show that (semi-)uniform families of P systems with active membranes can solve i...
TLCA
2009
Springer
15 years 4 months ago
2009
Springer
The straightforward elimination of union types is known to break subject reduction, and for some extensions of the lambda-calculus, to break strong normalization as well. Similarly...
ENTCS
2008
14 years 10 months ago
2008
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
SEFM
2007
IEEE
15 years 4 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...