Maude specification of nets-within-nets : a formal model of adaptable distributed systems

Capra, Lorenzo; Köhler-Bußmeier, Michael

doi:10.1145/3555776.3578617

Verlagslink DOI:	10.1145/3555776.3578617
Titel:	Maude specification of nets-within-nets : a formal model of adaptable distributed systems
Sprache:	Englisch
Autorenschaft:	Capra, Lorenzo Köhler-Bußmeier, Michael
Schlagwörter:	Adaptive Systems; Petri Nets; Maude; Nets-within-Nets
Erscheinungsdatum:	7-Jun-2023
Verlag:	Association for Computing Machinery
Teil der Schriftenreihe:	SAC '23 : Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing
Anfangsseite:	188
Endseite:	191
Konferenz:	Annual ACM Symposium on Applied Computing 2023
URI:	http://hdl.handle.net/20.500.12738/13867
ISBN:	9781450395175
Begutachtungsstatus:	Diese Version hat ein Peer-Review-Verfahren durchlaufen (Peer Review)
Einrichtung:	Fakultät Technik und Informatik Department Informatik
Dokumenttyp:	Konferenzveröffentlichung
Enthalten in den Sammlungen:	Publications without full text