942 search results - page 32 / 189 » Process Algebraic Non-product-forms |
BIRTHDAY
2008
Springer
14 years 29 days ago
2008
Springer
Event-pattern reactive programs are small programs that process an input stream of events to detect and act upon given temporal patterns. These programs are used in distributed sys...
DLOG
2010
13 years 9 months ago
2010
We develop a query algebra that supports efficient assertion retrieval--a natural extension of instance retrieval. The algebra is based on previously developed techniques for index...
CISC
2009
Springer
13 years 8 months ago
2009
Springer
In [10], Buchmann, Pyshkin and Weinmann have described two families of Feistel and SPN block ciphers called Flurry and Curry respectively. These two families of ciphers are fully p...
JLP
2007
13 years 10 months ago
2007
We present a process algebra with conditional expressions of which the conditions concern the enabledness of actions in the context in which a process is placed. With those conditi...
ENTCS
2007
13 years 11 months ago
2007
There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...