Thomas Chatain, Loïc Hélouët, Claude Jard. From Automata Networks to HMSCs: a Reverse Model Engineering Perspective. In 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2005), LNCS, Volume 3731, Pages 489-502, October 2005.
Partial orders, scenarios, unfolding
[ Scenarios ]
Loïc Hélouët http://www.irisa.fr/distribcom/Personal_Pages/helouet/newloic.html
Claude Jard http://www.irisa.fr/distribcom
@InProceedings{Forte05,
Author = {Chatain, Thomas and Hélouët, Loïc and Jard, Claude},
Title = {From Automata Networks to HMSCs: a Reverse Model Engineering Perspective},
BookTitle = {25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2005)},
Volume = {3731},
Pages = {489--502},
Series = {LNCS},
Publisher = {Springer Verlag},
Month = {October},
Year = {2005}
}
Get EndNote Reference (.ref)