Login / Signup
Decidability of Bisimulation Equivalences for Parallel Timer Processes.
Karlis Cerans
Published in:
CAV (1992)
Keyphrases
</>
description logics
real time
software engineering
process model
connected components
query answering
parallel processing
data sets
databases
information retrieval
image segmentation
knowledge representation
software development
computer architecture
parallel computation