The following pages link to Parallel program schemata (Q2540014):
Displaying 50 items.
- Synchronizing sequences on a class of unbounded systems using synchronized Petri nets (Q262433) (← links)
- Deterministic function computation with chemical reaction networks (Q268444) (← links)
- Forward analysis and model checking for trace bounded WSTS (Q290914) (← links)
- Concurrent abstract state machines (Q303691) (← links)
- Metric propositional neighborhood logic with an equivalence relation (Q329414) (← links)
- On selective unboundedness of VASS (Q355513) (← links)
- The reachability problem for branching vector addition systems requires doubly-exponential space (Q407525) (← links)
- Step coverability algorithms for communicating systems (Q433351) (← links)
- Checking system boundedness using ordinary differential equations (Q454908) (← links)
- Verification of membrane systems with delays via Petri nets with delays (Q496035) (← links)
- Boundedness analysis for open chemical reaction networks with mass-action kinetics (Q553915) (← links)
- Reachability trees for high-level Petri nets (Q579940) (← links)
- Linear time analysis of properties of conflict-free and general Petri nets (Q620942) (← links)
- Extensional Petri net (Q667521) (← links)
- Undecidability of bisimilarity for Petri nets and some related problems (Q672326) (← links)
- Testing for unboundedness of fifo channels (Q685434) (← links)
- Chip-firing games on directed graphs (Q685991) (← links)
- On the enlargement of the class of regular languages by the shuffle closure (Q760799) (← links)
- Determinism in parallel systems (Q786533) (← links)
- The residue of vector sets with applications to decidability problems in Petri nets (Q797285) (← links)
- Global and local views of state fairness (Q804304) (← links)
- Mathematical programming approach to the Petri nets reachability problem (Q856211) (← links)
- Macro liveness graph and liveness of \(\omega\)-independent unbounded nets (Q893846) (← links)
- Nondecreasing subsequences of t-sequences (Q908917) (← links)
- Some behavioural aspects of net theory (Q913516) (← links)
- Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS (Q1007235) (← links)
- Computation with finite stochastic chemical reaction networks (Q1035715) (← links)
- An approach to automating the verification of compact parallel coordination programs. I (Q1056221) (← links)
- Towards a hierarchy of nets (Q1058855) (← links)
- An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets (Q1059399) (← links)
- Petri nets and large finite sets (Q1060848) (← links)
- Maximal serializability of iterated transactions (Q1062471) (← links)
- Complexity of certain decision problems about congruential languages (Q1085618) (← links)
- Concurrent program schemes and their logics (Q1094866) (← links)
- Some complexity bounds for problems concerning finite and 2-dimensional vector addition systems with states (Q1096388) (← links)
- An \(O(n^{1.5})\) algorithm to decide boundedness for conflict-free vector replacement systems (Q1097037) (← links)
- Cause-effect structures (Q1101232) (← links)
- Completeness results for conflict-free vector replacement systems (Q1113674) (← links)
- Problems concerning fairness and temporal logic for conflict-free Petri nets (Q1121023) (← links)
- An operator net model for distributed systems (Q1123601) (← links)
- Serialization of concurrent programs (Q1124386) (← links)
- Recursivite et cônes rationnels fermés par intersection (Q1133331) (← links)
- On formulating simultaneity for studying parallelism and synchronization (Q1136221) (← links)
- Determinacy and maximal parallelism in a structured model of parallel computation (Q1138368) (← links)
- The decidability of persistence for vector addition systems (Q1144929) (← links)
- Vector addition systems and regular languages (Q1146002) (← links)
- Persistence of vector replacement systems is decidable (Q1149775) (← links)
- Synchronous to asynchronous transformation of polyautomata (Q1154807) (← links)
- On the reachability problem for 5-dimensional vector addition systems (Q1155361) (← links)
- Petri nets and regular languages (Q1158763) (← links)
