"JACK: A Framework for Process Algebra Implementation in Java."

Leonardo Freitas, Augusto Sampaio, Ana Cavalcanti (2002)

Details and statistics

DOI: 10.5753/SBES.2002.23941

access: open

type: Conference or Workshop Paper

metadata version: 2024-01-10

a service of  Schloss Dagstuhl - Leibniz Center for Informatics