366 search results - page 22 / 74 » Four equivalent equivalences of reductions |
148
click to vote
ECIS
2004
15 years 7 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...
146
click to vote
DNA
2006
Springer
15 years 9 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...
166
click to vote
TLCA
2009
Springer
16 years 18 days 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...
170
click to vote
ENTCS
2008
15 years 6 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 ...
157
click to vote
SEFM
2007
IEEE
16 years 10 days 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...