Towards a Step Semantics for Story-Driven Modelling
Paper i proceeding, 2016
diagrams
operational semantics
Författare
Geza Kulcsar
Technische Universität Darmstadt
Anthony Anjorin
Chalmers, Data- och informationsteknik, Software Engineering
Electronic Proceedings in Theoretical Computer Science, EPTCS
20752180 (ISSN)
Vol. 231 42-56Eindhoven, Germany,
Ämneskategorier
Data- och informationsvetenskap
DOI
10.4204/EPTCS.231.4