1532 search results - page 199 / 307 » An Algebraic Process Calculus |
140
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
134
click to vote
EACL
1989
ACL Anthology
15 years 6 months ago
1989
ACL Anthology
Although the formalisms normally used for describing the semantics of natural languages are far from computationally tractable, it is possible to isolate particular semantic pheno...
130
Voted
JLP
2008
15 years 4 months ago
2008
In the analysis of security protocols, methods and tools for reasoning about protocol behaviors have been quite effective. We aim to expand the scope of those methods and tools. W...
151
click to vote
NJC
2002
15 years 4 months ago
2002
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...
122
click to vote
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
We derive a new, two-dimensional nonseparable signal transform for computing the spectrum of spatial signals residing on a finite quincunx lattice. The derivation uses the connect...