Number of the records: 1
Modeling Unbounded Paralelism using Behavior Protocols
- 1.0031786 - UIVT-O 336109 SIGLE CZ eng V - Research Report
Adámek, Jiří
Modeling Unbounded Paralelism using Behavior Protocols.
Prague: Charles University Dept. of SW Engn, 2005. 15 s. Technical Report, 2005/7.
R&D Projects: GA ČR(CZ) GA102/03/0672
Institutional research plan: CEZ:AV0Z10300504
Keywords : software components * model checking * unbounded parallelism * behavior protocols
Subject RIV: JD - Computer Applications, Robotics
Permanent Link: http://hdl.handle.net/11104/0132434
Number of the records: 1