Skip to main content

Publisher: Elsevier

Volume 52, Number 1, January 2004

Favourites:
ADD

On logical and concurrent equivalences
pp. 1-14(14)
Authors: Bradfield, J.C.; Froschle, S.B.

Favourites:
ADD

An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems
pp. 1-20(20)
Authors: Labroue, A.; Schnoebelen, P.

Favourites:
ADD

Rewrite Systems with Constraints
pp. 1-20(20)
Author: Strejcek, J.

Favourites:
ADD

On the decidability of fragments of the asynchronous -calculus
pp. 1-17(17)
Authors: Amadio, R.M.; Meyssonnier, C.

Favourites:
ADD

Turing Machines, Transition Systems, and Interaction
pp. 1-17(17)
Authors: Goldin, D.Q.; Smolka, S.A.; Wegner, P.

Favourites:
ADD

Broadcast Calculus Interpreted in CCS upto Bisimulation
pp. 1-18(18)
Author: Prasad, K.V.S.

Favourites:
ADD

Adequate Sets of Temporal Connectives in CTL
pp. 1-11(11)
Author: Martin, A.

Favourites:
ADD

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
X
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more