Concepedia

Nadia Busi

NB

31

Publications

952

Citations

18

H-Index

1994

Active since

Affiliations

University of Bologna(Current)

University of Siena

Nadia Busi is an author at University of Bologna specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSemanticsData ManagementSystems BiologyData IntegrationSystems Engineering

Publications per year

1994–2009

31

Publications

31

On the Expressiveness of Linda Coordination Primitives

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro · Information and Computation · 2000 · 88 citations

Programming Language Theory, Engineering, Automated Reasoning +5

A process algebraic view of Linda coordination primitives

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro · Theoretical Computer Science · 1998 · 77 citations

Concurrency Theory, Process Control, Formal Methods +3

Mobile Petri nets

Andrea Asperti, Nadia Busi · Mathematical Structures in Computer Science · 2009 · 75 citations

Petri Net, Programming Language Theory, Engineering +14

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

Paolo Baldan, Nadia Busi, Andrea Corradini et al. · Theoretical Computer Science · 2004 · 62 citations · Full text

Petri Net, Event-driven Architecture, Engineering +13

On the expressive power of recursion, replication and iteration in process calculi

Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro · Mathematical Structures in Computer Science · 2009 · 50 citations

Engineering, Verification, Computational Model Theory +16

Rows per page

1–5 of 31