2 search results - page 1 / 1 » Multi Labelled Transition Systems: A Semantic Framework for ... |
122
Voted
ENTCS
2007
15 years 1 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...
128
Voted
CALCO
2005
Springer
15 years 6 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 ...