Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python

Multiparty asynchronous session types

Kohei Honda, Nobuko Yoshida, Marco Carbone · 2008 · 646 citations · Full text

Engineering, Verification, Concurrent System +19

Adding trace matching with free variables to AspectJ

Chris Allan, Pavel Avgustinov, Aske Simon Christensen et al. · 2005 · 425 citations

Engineering, Cross-cutting Concern, Software Engineering +21

Law-governed interaction

Naftaly H. Minsky, Victoria Ungureanu · ACM Transactions on Software Engineering and Methodology · 2000 · 318 citations · Full text

Engineering, Software Engineering, Complex Systems +19

Mace

Charles Killian, James W. Anderson, Ryan Braud et al. · 2007 · 204 citations

Engineering, Compiler Technology, Software Engineering +16

Smart monitors for composed services

Luciano Baresi, Carlo Ghezzi, Sam Guinea · 2004 · 204 citations

Web Service Specification, Engineering, Web Service Modeling +15