Composing Constraint Automata, State-by-State

Sung-Shik Jongmans*, Tobias Kappé, Farhad Arbab

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Original languageEnglish
Title of host publicationFormal Aspects of Component Software
Subtitle of host publication12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
EditorsChristiano Braga, Peter Csaba Ölveczky
Place of PublicationCham
PublisherSpringer International Publishing
Chapter12
Pages217-236
Number of pages20
ISBN (Electronic)9783319289342
ISBN (Print)9783319289335
DOIs
Publication statusPublished - 2016
Event12th International Conference Formal Aspects of Component Software - Niterói, Brazil
Duration: 14 Oct 201516 Oct 2015
Conference number: 12

Publication series

SeriesLecture Notes in Computer Science (LNCS) series
Volume9539
ISSN0302-9743
SeriesProgramming and Software Engineering LNPSE
Volume9539

Conference

Conference12th International Conference Formal Aspects of Component Software
Abbreviated titleFACS 2105
CountryBrazil
CityNiterói
Period14/10/1516/10/15

Cite this