Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Maciej Koutny" ( http://dblp.L3S.de/Authors/Maciej_Koutny )

URL (Homepage):  http://homepages.cs.ncl.ac.uk/maciej.koutny/  Author page on DBLP  Author page in RDF  Community of Maciej Koutny in ASPL-2

Publication years (Num. hits)
1984-1991 (16) 1992-1995 (16) 1996-2001 (21) 2002-2004 (20) 2005-2006 (16) 2007-2008 (15) 2009-2011 (20) 2012 (2)
Publication types (Num. hits)
article(49) book(1) incollection(1) inproceedings(70) proceedings(5)
Venues (Conferences, Journals, ...)
Fundam. Inform.(15) ACSD(8) CONCUR(7) ICATPN(7) Theor. Comput. Sci.(6) Acta Inf.(5) PARLE(4) Petri Nets(4) Electr. Notes Theor. Comput. S...(3) ICTAC(3) Inf. Comput.(3) T. Petri Nets and Other Models...(3) ACSD/Petri Nets Workshops(2) AMAST(2) Application and Theory of Petr...(2) CAV(2) More (+10 of total 58)
Authors
Maciej Koutny(126) Raymond R. Devillers(16) Jetty Kleijn(15) Ryszard Janicki(15) Victor Khomenko(15) Eike Best(12) Hanna Klaudel(12) Marta Pietkiewicz-Koutny(10) Alexandre Yakovlev(9) Giuseppe Pappalardo(9) Franck Pommereau(5) Luigi V. Mancini(5) Zhenhua Duan(5) Gabriel Ciobanu(4) H. C. M. Kleijn(4) Jeremy Bryans(4) More (+10 of total 47)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 138 occurrences of 64 keywords
Results
Found 126 publication records. Showing 126 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Jetty Kleijn, Maciej Koutny Step coverability algorithms for communicating systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Maciej Koutny, Marta Pietkiewicz-Koutny Synthesis Problem for Petri Nets with Localities. Search on Bibsonomy T. Petri Nets and Other Models of Concurrency The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gabriel Ciobanu, Maciej Koutny Timed Mobility in process algebra and Petri nets. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jetty Kleijn, Maciej Koutny Membrane Systems with Qualitative Evolution Rules. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg Petri Nets and Bio-Modelling - and how to benefit from their synergy Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Jetty Kleijn, Maciej Koutny The Mutex Paradigm of Concurrency. Search on Bibsonomy Petri Nets The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gabriel Ciobanu, Maciej Koutny Timed Migration and Interaction with Access Permissions. Search on Bibsonomy FM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jetty Kleijn, Maciej Koutny Causality in Structured Occurrence Nets. Search on Bibsonomy Dependable and Historic Computing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau State Space Reduction for Dynamic Process Creation. Search on Bibsonomy Sci. Ann. Comp. Sci. The full citation details ... 2010 DBLP  BibTeX  RDF
1Kurt Jensen, Susanna Donatelli, Maciej Koutny (eds.) Transactions on Petri Nets and Other Models of Concurrency IV Search on Bibsonomy T. Petri Nets and Other Models of Concurrency The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Maciej Koutny, Marta Pietkiewicz-Koutny Minimal Regions of ENL-Transition Systems. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Gabriel Ciobanu, Maciej Koutny (eds.) Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010 Search on Bibsonomy MeCBIC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jetty Kleijn, Maciej Koutny Petri Nets with Localities and Testing. Search on Bibsonomy Petri Nets The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Laura M. F. Bertens, Jetty Kleijn, Maciej Koutny, Fons J. Verbeek Modelling Gradients using Petri Nets. Search on Bibsonomy ACSD/Petri Nets Workshops The full citation details ... 2010 DBLP  BibTeX  RDF
1Maciej Koutny, Marta Pietkiewicz-Koutny Synthesis of General Petri Nets with Localities. Search on Bibsonomy ACSD/Petri Nets Workshops The full citation details ... 2010 DBLP  BibTeX  RDF
1Jetty Kleijn, Maciej Koutny A Petri net model for membrane systems with dynamic structure. Search on Bibsonomy Natural Computing The full citation details ... 2009 DBLP  BibTeX  RDF
1Maciej Koutny, Marta Pietkiewicz-Koutny Synthesis of Petri Nets with Localities. Search on Bibsonomy Sci. Ann. Comp. Sci. The full citation details ... 2009 DBLP  BibTeX  RDF
1Kurt Jensen, Jonathan Billington, Maciej Koutny (eds.) Transactions on Petri Nets and Other Models of Concurrency III Search on Bibsonomy T. Petri Nets and Other Models of Concurrency The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Maciej Koutny, Brian Randell Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques. Search on Bibsonomy Fundam. Inform. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev Synthesis of Nets with Step Firing Policies. Search on Bibsonomy Fundam. Inform. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jetty Kleijn, Maciej Koutny Applying Step Coverability Trees to Communicating Component-Based Systems. Search on Bibsonomy FSEN The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau An approach to state space reduction for systems with dynamic process creation. Search on Bibsonomy ISCIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan Opacity generalised to transition systems. Search on Bibsonomy Int. J. Inf. Sec. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Non-deducibility, Observable behaviour, Petri nets, Anonymity, Abstract interpretation, Labelled transition systems, Opacity
1Raymond R. Devillers, Hanna Klaudel, Maciej Koutny A compositional Petri net translation of general pi -calculus terms. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Compositional translation, Mobility, Petri nets, Process algebra, ?-Calculus
1Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny Framed temporal logic programming. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jetty Kleijn, Maciej Koutny Processes of membrane systems with promoters and inhibitors. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Maciej Koutny, Marta Pietkiewicz-Koutny Synthesis of Elementary Net Systems with Context Arcs and Localities. Search on Bibsonomy Fundam. Inform. The full citation details ... 2008 DBLP  BibTeX  RDF
1Jetty Kleijn, Maciej Koutny Formal Languages and Concurrent Behaviours. Search on Bibsonomy New Developments in Formal Languages and Applications The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev Synthesis of Nets with Step Firing Policies. Search on Bibsonomy Petri Nets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF step firing policy, step transition system, synthesis problem, Petri nets, regions
1Jonathan Billington, Zhenhua Duan, Maciej Koutny (eds.) 8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi'an, China, June 23-27, 2008 Search on Bibsonomy ACSD The full citation details ... 2008 DBLP  BibTeX  RDF
1Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau Towards Efficient Verification of Systems with Dynamic Process Creation. Search on Bibsonomy ICTAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multi-threaded systems, marking symmetries, Petri nets, state-space generation
1Gabriel Ciobanu, Maciej Koutny Modelling and Verification of Timed Interaction and Migration. Search on Bibsonomy FASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF compositional translation, behavioural consistency, mobility, process algebra, high-level Petri nets, timers
1Jetty Kleijn, Maciej Koutny Processes of Petri Nets with Range Testing. Search on Bibsonomy Fundam. Inform. The full citation details ... 2007 DBLP  BibTeX  RDF
1Victor Khomenko, Maciej Koutny Verification of bounded Petri nets using integer programming. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Net unfoldings, Partial order techniques, Verification, Petri nets, Integer programming
1Maciej Koutny, Marta Pietkiewicz-Koutny Synthesis of Elementary Net Systems with Context Arcs and Localities. Search on Bibsonomy ICATPN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF theory of concurrency, net synthesis, step sequence semantics, inhibitor arcs, activator arcs, context arcs, Petri nets, localities, transition systems, structure and behaviour of nets, elementary net systems, theory of regions
1Raymond R. Devillers, Hanna Klaudel, Maciej Koutny Modelling Mobility in High-level Petri Nets. Search on Bibsonomy ACSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF KLAIM, compositional translation, behavioural consistency, mobility, Petri nets, process algebra
1Brian Randell, Maciej Koutny Failures: Their Definition, Modelling and Analysis. Search on Bibsonomy ICTAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF judgement, occurrence nets, dependability, abstraction, errors, failures, faults, formal analysis
1Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler Merged processes: a new condensed representation of Petri net behaviour. Search on Bibsonomy Acta Inf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers, Hanna Klaudel, Maciej Koutny A Petri Net Semantics of a Simple Process Algebra for Mobility. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers, Hanna Klaudel, Maciej Koutny Petri Net Semantics of the Finite pi-calculus Terms. Search on Bibsonomy Fundam. Inform. The full citation details ... 2006 DBLP  BibTeX  RDF
1Victor Khomenko, Maciej Koutny, Alexandre Yakovlev Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT. Search on Bibsonomy Fundam. Inform. The full citation details ... 2006 DBLP  BibTeX  RDF
1Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg Process Semantics for Membrane Systems. Search on Bibsonomy Journal of Automata, Languages and Combinatorics The full citation details ... 2006 DBLP  BibTeX  RDF
1Maciej Koutny, Marta Pietkiewicz-Koutny Transition Systems of Elementary Net Systems with Localities. Search on Bibsonomy CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1H. C. M. Kleijn, Maciej Koutny Infinite Process Semantics of Inhibitor Nets. Search on Bibsonomy ICATPN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF theory of concurrency, weighted inhibitor arcs, causality semantics, infinite processes, occurrence nets, Petri nets, step sequences
1Maciej Koutny, Giuseppe Pappalardo, Marta Pietkiewicz-Koutny Towards an Algebra of Abstractions for Communicating Processes. Search on Bibsonomy ACSD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander Romanovsky On Specification and Verification of Location-Based Fault Tolerant Mobile Systems. Search on Bibsonomy RODIN Book The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Klaim, fault tolerance, model checking, Petri nets, process algebra, locations, mobile systems, Linda
1Raymond R. Devillers, Hanna Klaudel, Maciej Koutny A Petri Net Translation of pi-Calculus Terms. Search on Bibsonomy ICTAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF compositional translation, behavioural consistency, mobility, Petri nets, process algebra, ?-calculus
1Jetty Kleijn, Maciej Koutny Synchrony and Asynchrony in Membrane Systems. Search on Bibsonomy Workshop on Membrane Computing The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan Modelling Opacity Using Petri Nets. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler Merged Processes - A New Condensed Representation of Petri Net Behaviour. Search on Bibsonomy CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Zhenhua Duan, Xiaoxiao Yang, Maciej Koutny Semantics of Framed Temporal Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Temporal logic programming, semantics, framing, monotonicity, minimal model
1Jeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan Opacity Generalised to Transition Systems. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2005 DBLP  DOI  BibTeX  RDF non-deducibility, non-inference, observable behaviour, Petri nets, anonymity, labelled transition systems, opacity
1Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg Towards a Petri Net Semantics for Membrane Systems. Search on Bibsonomy Workshop on Membrane Computing The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1H. C. M. Kleijn, Maciej Koutny Process semantics of general inhibitor nets. Search on Bibsonomy Inf. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo Relating Communicating Processes with Different Interfaces. Search on Bibsonomy Fundam. Inform. The full citation details ... 2004 DBLP  BibTeX  RDF
1Victor Khomenko, Maciej Koutny, Alexandre Yakovlev Detecting State Encoding Conflicts in STG Unfoldings Using SAT. Search on Bibsonomy Fundam. Inform. The full citation details ... 2004 DBLP  BibTeX  RDF
1Zhenhua Duan, Maciej Koutny A Framed Temporal Logic Programming Language. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers, Hanna Klaudel, Maciej Koutny Petri Net Semantics of the Finite pi-Calculus. Search on Bibsonomy FORTE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers, Hanna Klaudel, Maciej Koutny Context-based Process Algebras for Mobility. Search on Bibsonomy ACSD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Victor Khomenko, Maciej Koutny, Alexandre Yakovlev Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT. Search on Bibsonomy ACSD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF net unfoldings, partial order techniques, Petri nets, logic synthesis, asynchronous circuits, SAT, signal transition graphs, STG, self-timed circuits
1Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan Modelling Dynamic Opacity Using Petri Nets with Silent Actions. Search on Bibsonomy Formal Aspects in Security and Trust The full citation details ... 2004 DBLP  DOI  BibTeX  RDF non-deducibility, observable behaviour, silent actions, Petri nets, anonymity, opacity
1Victor Khomenko, Maciej Koutny, Walter Vogler Canonical prefixes of Petri net unfoldings. Search on Bibsonomy Acta Inf. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau Asynchronous Box Calculus. Search on Bibsonomy Fundam. Inform. The full citation details ... 2003 DBLP  BibTeX  RDF
1Victor Khomenko, Maciej Koutny Branching Processes of High-Level Petri Nets. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF model checking, Verification, high-level Petri nets, unfolding
1Victor Khomenko, Maciej Koutny, Alexandre Yakovlev Detecting State Coding Conflicts in STG Unfoldings Using SAT. Search on Bibsonomy ACSD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF complete state coding, CSC, net unfoldings, Petri nets, asynchronous circuits, SAT, signal transition graphs, STG, automated synthesis
1Eike Best, Maciej Koutny Process Algebra: A Petri-Net-Oriented Tutorial. Search on Bibsonomy Lectures on Concurrency and Petri Nets The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Petri nets, process algebras
1Eike Best, Raymond R. Devillers, Maciej Koutny The Box Algebra = Petri Nets + Process Expressions. Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1H. C. M. Kleijn, Maciej Koutny Causality Semantics of Petri Nets with Weighted Inhibitor Arcs. Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF theory of concurrency, weighted inhibitor arcs, causality semantics, occurrence nets, Petri nets, step sequences
1Keijo Heljanko, Victor Khomenko, Maciej Koutny Parallelisation of the Petri Net Unfolding Algorithm. Search on Bibsonomy TACAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF parallel algorithms, Model checking, Petri nets, concurrency, causality, unfolding
1Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau An Algebra of Non-safe Petri Boxes. Search on Bibsonomy AMAST The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Petri nets, process algebra, operational semantics
1Alexandre V. Bystrov, Maciej Koutny, Alexandre Yakovlev Visualization of Partial Order Models in VLSI Design Flow. Search on Bibsonomy DATE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Victor Khomenko, Maciej Koutny, Alexandre Yakovlev Detecting State Coding Conflicts in STGs Using Integer Programming. Search on Bibsonomy DATE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Victor Khomenko, Maciej Koutny, Walter Vogler Canonical Prefixes of Petri Net Unfoldings. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF canonical prefix, Model checking, Petri nets, unfolding
1Eike Best, Raymond R. Devillers, Maciej Koutny Recursion and Petri nets. Search on Bibsonomy Acta Inf. The full citation details ... 2001 DBLP  BibTeX  RDF
1Alan Burns, Andy J. Wellings, Frank P. Burns, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev Modelling and verification of an atomic action protocol implemented in Ada. Search on Bibsonomy Comput. Syst. Sci. Eng. The full citation details ... 2001 DBLP  BibTeX  RDF
1Maciej Koutny, Giuseppe Pappalardo Behaviour Abstraction for Communicating Sequential Processes. Search on Bibsonomy Fundam. Inform. The full citation details ... 2001 DBLP  BibTeX  RDF
1Eike Best, Raymond R. Devillers, Maciej Koutny Petri net algebra. Search on Bibsonomy 2001   RDF
1Victor Khomenko, Maciej Koutny Towards an Efficient Algorithm for Unfolding Petri Nets. Search on Bibsonomy CONCUR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Model checking, Petri nets, concurrency, unfolding
1José Manuel Colom, Maciej Koutny (eds.) Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings Search on Bibsonomy ICATPN The full citation details ... 2001 DBLP  BibTeX  RDF
1Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo Implementing Communicating Processes in the Event of Interface Difference. Search on Bibsonomy ACSD The full citation details ... 2001 DBLP  DOI  BibTeX  RDF behaviour abstraction, refinement, compositionality, communicating sequential processes, Theory of parallel and distributed computation
1Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo Verifying Implementation Relations. Search on Bibsonomy FME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Behaviour ion, verification, compositionality, communicating sequential processes
1Victor Khomenko, Maciej Koutny LP Deadlock Checking Using Partial Order Dependencies. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Maciej Koutny A Compositional Model of Time Petri Nets. Search on Bibsonomy ICATPN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, process algebras, time Petri nets
1H. C. M. Kleijn, Maciej Koutny Process Semantics of P/T-Nets with Inhibitor Arcs. Search on Bibsonomy ICATPN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Causality/partial order theory of concurrency, structure and behaviour of nets, analysis and synthesis
1Maciej Koutny, Eike Best Operational and Denotational Semantics for the Box Algebra. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Ryszard Janicki, Maciej Koutny On Causality Semantics of Nets with Priorities. Search on Bibsonomy Fundam. Inform. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Maciej Koutny Peter Lauer and COSY. Search on Bibsonomy Fundam. Inform. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Eike Best, Raymond R. Devillers, Maciej Koutny The Box Algebra - A Model of Nets and Process Expressions. Search on Bibsonomy ICATPN The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Net-based algebraic calculi, relationships between net theory and other approaches, box algebra, SOS semantics, refinement, process algebras, recursion
1Maciej Koutny, Giuseppe Pappalardo A Model of Behaviour Abstraction for Communicating Processes. Search on Bibsonomy STACS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF behaviour abstraction, communicating sequential processes, Theory of parallel and distributed computation
1Martin Hesketh, Maciej Koutny An Axiomatisation of Duplication Equivalence in the Petri Box Calculus. Search on Bibsonomy ICATPN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Net-based algebra, analysis of structure of nets, verification using nets, equivalence and axiomatisation
1Raymond R. Devillers, Maciej Koutny Recursive Nets in the Box Algebra. Search on Bibsonomy ACSD The full citation details ... 1998 DBLP  DOI  BibTeX  RDF box algebra, limit construction, guardedness, Petri nets, refinement, recursion, fixpoint
1Maciej Koutny, Luigi V. Mancini, Giuseppe Pappalardo Two Implementation Relations and the Correctness of Communicating Replicated Processes. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Ryszard Janicki, Maciej Koutny Fundamentals of Modelling Concurrency Using Discrete Relational Structures. Search on Bibsonomy Acta Inf. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Eike Best, Raymond R. Devillers, Maciej Koutny Petri Nets, Process Algebras and Concurrent Programming Languages. Search on Bibsonomy Petri Nets The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Ryszard Janicki, Maciej Koutny Semantics of Inhibitor Nets. Search on Bibsonomy Inf. Comput. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Eike Best, Maciej Koutny Using net refinement to compute the fixpoint of a recursive. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Eike Best, Maciej Koutny A Refined View of the Box Algebra. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Petri nets, Refinement, Process algebra
1Eike Best, Maciej Koutny Solving Recursive Net Equations. Search on Bibsonomy ICALP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Petri nets, Recursion, Denotational semantics
1Nikolay A. Anisimov, Maciej Koutny On compositionality and Petri nets in protocol engineering. Search on Bibsonomy PSTV The full citation details ... 1995 DBLP  BibTeX  RDF
1Ryszard Janicki, Maciej Koutny Representations of Discrete Interval Orders and Semi-Orders. Search on Bibsonomy Elektronische Informationsverarbeitung und Kybernetik The full citation details ... 1994 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 126 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.