Sciweavers

6 search results - page 2 / 2
» SynchNet: A Petri Net Based Coordination Language for Distri...
Sort
View
HT
1998
ACM
13 years 9 months ago
XHMBS: A Formal Model to Support Hypermedia Specification
This paper introduces XHMBS (the eXtended Hyperdocument Model Based on Statecharts) to support the formal specification of general hypermedia applications. XHMBS uses a novel form...
Fabiano Borges Paulo, Marcelo Augusto Santos Turin...