467 search results - page 8 / 94 » Open bisimulation for aspects |
AWPN
2008
13 years 9 months ago
2008
We introduce a Janus-faced reference net component that presents the basis for the recursive composition of complex systems from open system units. We particularly focus on the ope...
ENTCS
2006
13 years 7 months ago
2006
We define and use a SOS-based framework to specify the transition systems of calculi with name-passing properties. This setting uses proof-theoretic tools to take care of some of ...
GCSE
2000
Springer
13 years 11 months ago
2000
Springer
Over the recent years aspect-oriented programming (AOP) has found increasing interest among researchers in software engineering. Aspects are ions which capture and localise cross-c...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
The regulation of multiagent systems may be approached from different stand-points. In this paper I will take the perspective of using a certain type of devices, electronic instit...
DEXA
2000
Springer
13 years 12 months ago
2000
Springer
Over the recent years aspect-oriented programming (AOP) has found increasing interest among researchers in software engineering. Aspects are ions which capture and localise cross-c...