The following pages link to Maciej Koutny (Q218985):
Displaying 50 items.
- A complete proof system for propositional projection temporal logic (Q391223) (← links)
- An algebra of behavioural types (Q418153) (← links)
- Vector team automata (Q418753) (← links)
- Localities in systems with a/sync communication (Q418785) (← links)
- Step coverability algorithms for communicating systems (Q433351) (← links)
- Decidability and complexity of Petri nets with unordered data (Q554219) (← links)
- Process semantics of general inhibitor nets (Q598184) (← links)
- Timed mobility in process algebra and Petri nets (Q638567) (← links)
- On the composition of time Petri nets (Q645045) (← links)
- Modelling concurrency with comtraces and generalized comtraces (Q651308) (← links)
- Structure of concurrency (Q685384) (← links)
- Regions of Petri nets with a/sync connections (Q714824) (← links)
- Applying regions (Q728281) (← links)
- Merged processes: a new condensed representation of Petri net behaviour (Q854679) (← links)
- Verification of bounded Petri nets using integer programming (Q878111) (← links)
- Strategy based semantics for mobility with time and access permissions (Q890480) (← links)
- A compositional Petri net translation of general \(\pi\)-calculus terms (Q939164) (← links)
- Processes of membrane systems with promoters and inhibitors (Q953547) (← links)
- The Merlin-Randell problem of train journeys (Q1062925) (← links)
- Concurrent and maximally concurrent evolution of nonsequential systems (Q1083185) (← links)
- Adequacy-preserving transformations of COSY path programs (Q1185020) (← links)
- Petri net semantics of priority systems (Q1190490) (← links)
- Operational and denotational semantics for the box algebra (Q1274445) (← links)
- Two implementation relations and the correctness of communicating replicated processes (Q1362771) (← links)
- Fundamentals of modelling concurrency using discrete relational structures (Q1369226) (← links)
- Petri net algebra (Q1573598) (← links)
- Signal set tissue systems and overlapping localities (Q1682863) (← links)
- The box algebra = Petri nets + process expressions (Q1854558) (← links)
- Canonical prefixes of Petri net unfoldings (Q1889762) (← links)
- ITL semantics of composite Petri nets (Q1936232) (← links)
- Relational structures for concurrent behaviours (Q1998872) (← links)
- Asynchrony and persistence in reaction systems (Q2044949) (← links)
- Synthesising elementary net systems with localities (Q2077411) (← links)
- Paradigms of concurrency. Observations, behaviours and systems -- a Petri net view (Q2077739) (← links)
- Avoiding exponential explosion in Petri net models of control flows (Q2165241) (← links)
- Plug-in context providers for reaction systems (Q2192370) (← links)
- An efficient characterization of Petri net solvable binary words (Q2280188) (← links)
- An extension of the taxonomy of persistent and nonviolent steps (Q2293146) (← links)
- Modeling biological gradient formation: combining partial differential equations and Petri nets (Q2311279) (← links)
- Evolving reaction systems (Q2358684) (← links)
- Step semantics of Boolean nets (Q2376982) (← links)
- Classifying invariant structures of step traces (Q2424691) (← links)
- Folded Hasse diagrams of combined traces (Q2445908) (← links)
- Framed temporal logic programming (Q2469157) (← links)
- Semantics of inhibitor nets (Q2508333) (← links)
- A Petri net model for membrane systems with dynamic structure (Q2655493) (← links)
- (Q2760251) (← links)
- (Q2763981) (← links)
- (Q2766567) (← links)
- (Q2766569) (← links)
