Towards roundtrip engineering for Java and agent interaction protocols with Petri net-based semantics
Niklas Levens
Lukas Seifert
Leon Zander
Philipp Schult
S. Kagan
Ole Methler
Marcel Hansson
Daniel Moldt
Computer Science