Tilbage til artikeldetaljer Transition System Models for Concurrency Download Download PDF