Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Maciej Koutny

Non-Atomic Transition Firing in Contextual Nets

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Persistent and Nonviolent Steps and the Design of GALS Systems

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2015English

Strategy Based Semantics for Mobility With Time and Access Permissions

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2014English

Adding a/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets With Localities

Scientific Annals of Computer Science
Applied MathematicsComputer Science
2017English

The Box Algebra=Petri Nets+Process Expressions

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2002English

Opacity Generalised to Transition Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Modelling and Verification of Timed Interaction and Migration

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy