2 search results - page 1 / 1 » Multi Labelled Transition Systems: A Semantic Framework for ... |
ENTCS
2007
13 years 9 months ago
2007
Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transit...
CALCO
2005
Springer
14 years 3 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...