Publication | Date of Publication | Type |
---|
Extensions of Elementary Cause-Effect Structures | 2021-11-15 | Paper |
Computing in cause-effect structures | 2021-11-04 | Paper |
Cause-effect structures. An algebra of nets with examples of applications | 2019-07-17 | Paper |
A Protocol of Mutual Exclusion for DSM Based on Vectors of Global Timestamps | 2018-05-03 | Paper |
Remarks on Memory Consistency Description | 2017-11-09 | Paper |
Floating Channels Between Communicating Nets | 2014-12-22 | Paper |
Equations for Asynchronous Message Passing | 2014-04-25 | Paper |
Self-Modifying Nets for Synchronous, Connection-Oriented, Multicast Communication | 2014-04-25 | Paper |
Rough Net Structures - Example of Information System | 2013-11-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q3117555 | 2012-02-28 | Paper |
On Deadlock and Fairness Decision Problems for Computations on Client-server Systems | 2011-11-10 | Paper |
Synthesis and Analysis of Net Structures and Transition Graphs with Inhibitor Relations | 2011-03-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q5192926 | 2009-08-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q5506357 | 2009-01-28 | Paper |
Calculi of net structures and sets are similar | 2008-07-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q5422276 | 2007-10-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q5486051 | 2006-09-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q5472934 | 2006-06-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q4461954 | 2004-05-18 | Paper |
On the Analysis of Petri Nets and their Synthesis from Process Languages | 2004-05-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q3146273 | 2002-09-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q2775859 | 2001-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4507813 | 2000-10-10 | Paper |
Process languages and nets | 2000-08-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4265613 | 1999-09-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q4264232 | 1999-09-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q3838374 | 1998-12-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q3838375 | 1998-12-10 | Paper |
A calculus of nets | 1995-08-06 | Paper |
Finite processes in cause-effect structures and their composition | 1989-01-01 | Paper |
Cause-effect structures | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3753497 | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4749206 | 1983-01-01 | Paper |
Parallel system schemas and their relation to automata | 1980-01-01 | Paper |
Deadlock and fairness in parallel schemas: A set-theoretic characterization and decision problems | 1980-01-01 | Paper |
A specification of parallel problems | 1979-01-01 | Paper |
Implementation approach to parallel systems | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4122753 | 1974-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4766023 | 1973-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5683692 | 1973-01-01 | Paper |