655 search results - page 8 / 131 » Coinduction in Concurrent Timed Systems |
RTDB
2001
13 years 11 months ago
2001
Research in the concurrency control of real-time data access over mobile networks is receiving growing attention. With possibly lengthy transmission delay and frequent disconnecti...
COLCOM
2008
IEEE
14 years 4 months ago
2008
IEEE
In collaboration architectures, a computer must perform both processing and transmission tasks. Intuitively, it seems that these independent tasks should be executed in concurrent ...
ANSOFT
1999
13 years 9 months ago
1999
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...
ECOOPW
1998
Springer
14 years 2 months ago
1998
Springer
Adaptability has become one of the most important research areas in concurrent object-oriented systems in recent years. It tries to cope with system evolution by adding/replacing ...
ENTCS
2007
13 years 9 months ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...