Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 27 results in range #1 to #27.

Algebraic characterization of petri net pomset semantics: Label: en
On implementations and semantics of a concurrent programming language: Label: en
First-order axioms for asynchrony: Label: en
A rigorous analysis of concurrent operations on B-trees: Label: en
Bisimulation and propositional intuitionistic logic: Label: en
Model checking PA-processes: Label: en
Causal ambiguity and partial orders in event structures: Label: en
How to Parallelize sequential processes: Label: en
High level expressions with their SOS semantics: Label: en
Fair simulation: Label: en
On the complexity of verifying concurrent transition systems: Label: en
Probabilistic concurrent constraint programming: Label: en
Axiomatizing flat iteration: Label: en
Proving safety properties of infinite state systems by compilation into Presburger arithmetic: Label: en
Implicit typing à la ML for the join-calculus: Label: en
Horizontal and vertical structuring techniques for statecharts: Label: en
An algebraic theory of multiple clocks: Label: en
Synthesis of nets with inhibitor arcs: Label: en
Reachability analysis of pushdown automata: Application to model-checking: Label: en
Adding partial orders to linear temporal logic: Label: en
Bounded stacks, bags and queues: Label: en
A universal reactive machine: Label: en
Modularity for timed and hybrid systems: Label: en
Reasoning about cryptographic protocols in the spi calculus: Label: en
A product version of dynamic linear time temporal logic: Label: en
Cyclic vector languages: Label: en
Partial-order reduction in the weak modal mu-calculus: Label: en