On generating *-sound nets with substitution

J Sroka, P Chrzastowski-Wachtel, AJH Hidders

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

3 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings 11th International Conference on Application of Concurrency to System Design
EditorsB Caillaud, J Carmona, K Hiraishi
Place of PublicationLos Alamitos, CA, USA
PublisherIEEE Society
Pages3-12
Number of pages10
ISBN (Print)978-0-7695-4387-1
DOIs
Publication statusPublished - 2011
EventACSD 2011, Newcastle upon Tyne, UK - Los Alamitos, CA, USA
Duration: 20 Jun 201124 Jun 2011

Publication series

Name
PublisherIEEE

Conference

ConferenceACSD 2011, Newcastle upon Tyne, UK
Period20/06/1124/06/11

Keywords

  • Conf.proc. > 3 pag

Cite this

Sroka, J., Chrzastowski-Wachtel, P., & Hidders, AJH. (2011). On generating *-sound nets with substitution. In B. Caillaud, J. Carmona, & K. Hiraishi (Eds.), Proceedings 11th International Conference on Application of Concurrency to System Design (pp. 3-12). IEEE Society. https://doi.org/10.1109/ACSD.2011.26