A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
ACM SIGPLAN Notices
Logical Inference of Horn Clauses in Petri Net Models
IEEE Transactions on Knowledge and Data Engineering
A Concurrent Semantics of Static Exceptions in a Parallel Programming Language
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Performance Results for an Implementation of the Process Coordination Language K2
IFL '98 Selected Papers from the 10th International Workshop on 10th International Workshop
Organizing Speculative Computations in Functional Systems
IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
A Concurrent and Compositional Petri Net Semantics of Preemption
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Revisiting the algebra of Petri net processes under the collective token philosophy
Fundamenta Informaticae - Concurrency specification and programming
Theoretical Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes
IEEE Transactions on Computers
Working with the Past: Integrating History in Petri Nets
Fundamenta Informaticae - PETRI NETS 2007
Petri Net Tools For The Analysis Of Collaborative Tasks
Journal of Integrated Design & Process Science
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Web service orchestration with super-dual object nets
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Vicinity respecting homomorphisms for abstracting system requirements
Transactions on Petri nets and other models of concurrency IV
SAT based bounded model checking with partial order semantics for timed automata
TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Working with the Past: Integrating History in Petri Nets
Fundamenta Informaticae - PETRI NETS 2007
Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
An Acceptance Vector Semantics for Path Programs
Fundamenta Informaticae
A Representation of Processes of Petri Nets by Matrices
Fundamenta Informaticae
| Hi-index | 0.00 |