Foundations of the Trace Assertion Method of Module Interface Specification
IEEE Transactions on Software Engineering
Contextual Petri nets, asymmetric event structures, and processes
Information and Computation
Modelling Concurrent Behaviours by Commutativity and Weak Causality Relations
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
On Trace Assertion Method of Module Interface Specification with Concurrency
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
Process semantics of general inhibitor nets
Information and Computation
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Semantics of petri nets: a comparison
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Modelling Concurrency with Quotient Monoids
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Dynamic Partial Order Reduction Using Probe Sets
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
A weak order approach to group ranking
Computers & Mathematics with Applications
Process semantics of P/T-nets with inhibitor arcs
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
On synchronicity and concurrency in Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Closure operators for order structures
FCT'09 Proceedings of the 17th international conference on Fundamentals of computation theory
Approximations of arbitrary binary relations by partial orders: classical and rough set models
Transactions on rough sets XIII
Semantic quality attributes for big-step modelling languages
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
The mutex paradigm of concurrency
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Modelling concurrency with comtraces and generalized comtraces
Information and Computation
A generalisation of a relational structures model of concurrency
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Simultaneity in event structures
TAMC'10 Proceedings of the 7th annual conference on Theory and Applications of Models of Computation
A characterization of combined traces using labeled stratified order structures
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
On Three Alternative Characterizations of Combined Traces
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Analyzing and Reducing Simultaneous Firing in Signal-Event Nets
Fundamenta Informaticae
On Causality Semantics of Nets with Priorities
Fundamenta Informaticae
Modeling interval order structures with partially commutative monoids
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Faster verification of partially ordered runs in petri nets using compact tokenflows
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Mutex Causality in Processes and Traces of General Elementary Nets
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2011
| Hi-index | 5.23 |