500 search results - page 14 / 100 » Coalgebraic semantics for timed processes |
ENTCS
2008
13 years 10 months ago
2008
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
IPPS
2007
IEEE
14 years 4 months ago
2007
IEEE
In real-time environment, data usually has a lifespan associated with it. The semantics and the importance of the data depend on the time when data is utilized. Hence, the process...
ACL
2007
13 years 11 months ago
2007
Words of foreign origin are referred to as borrowed words or loanwords. A loanword is usually imported to Chinese by phonetic transliteration if a translation is not easily availa...
ECBS
2000
IEEE
14 years 2 months ago
2000
IEEE
The integration of software tools used in an engineering process is a problem that arises frequently in large-scale engineering projects. Traditional approaches are insufficient f...
APN
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...