7099 search results - page 27 / 1420 » Context for models of concurrency |
ICOIN
2001
Springer
14 years 2 months ago
2001
Springer
According to the progress of high-speed networks, many communication protocols are specified as concurrent systems. Such systems can be modeled as concurrent deterministic FSMs (D...
PATMOS
2010
Springer
13 years 7 months ago
2010
Springer
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...
ICICS
2005
Springer
14 years 3 months ago
2005
Springer
The notion of concurrent signatures was recently introduced by Chen, Kudla and Paterson. In concurrent signature schemes, two entities can produce two signatures that are not bindi...
CONTEXT
2007
Springer
14 years 4 months ago
2007
Springer
