Partial order and contextual net semantics for atomic and locally atomic CC programs

Effectivness of abstract interpretation in automatic parallelization: a case study in logic programming

ACM Transactions on Programming Languages and Systems (TOPLAS)

Independence in CLP languages

ACM Transactions on Programming Languages and Systems (TOPLAS)

Parallel execution of prolog programs: a survey

ACM Transactions on Programming Languages and Systems (TOPLAS)

Abstractions for fault-tolerant global computing

Theoretical Computer Science - Special issue: Foundations of wide area network computing

Domain and event structure semantics for Petri nets with read and inhibitor arcs

Theoretical Computer Science

Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets

Fundamenta Informaticae

An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy

Concurrency, Graphs and Models

On the concurrent semantics of algebraic graph grammars

Formal Methods in Software and Systems Modeling

Comparing Truly Concurrent Semantics for Contextual Place/Transition Nets

Fundamenta Informaticae

Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs

Fundamenta Informaticae

Models and emerging trends of concurrent constraint programming

Constraints