Published May 30, 2024
| Version v4
Conference paper
Open
Generic asynchronous communication modeling concepts
Description
The XML-Files provide generic modeling concepts of different types of asynchronous communication. They can be used to implement asynchronous communication in the global declarations of UPPAAL. The number of communication partners, the buffer sizes, as well as the message types that are used can be adjusted by users according to the context.
Files
Async.xml
Files
(15.4 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:3fa37b9f190b96a6755c39128949b5e6
|
2.2 kB | Preview Download |
|
md5:57ee6bdf6126092b3ccd2639efa343dc
|
3.5 kB | Preview Download |
|
md5:5e18a5845301445f4d86c065a9a6bfa6
|
2.6 kB | Preview Download |
|
md5:583876ffedf8b72d13732ab23f584332
|
1.8 kB | Preview Download |
|
md5:9344209849fa9635b6362a896a45a1b5
|
1.8 kB | Preview Download |
|
md5:b8e96cc1f5e347c64649dcc5087f7351
|
1.7 kB | Preview Download |
|
md5:b0ef274abb9a068463eba0fd2f458d4e
|
1.9 kB | Preview Download |