𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc 1998 International Conference on Application of Concurrency to System Design - Fukushima, Japan (23-26 March 1998)] Proceedings 1998 International Conference on Application of Concurrency to System Design - Hierarchical concurrent finite state machines in Ptolemy

✍ Scribed by Bilung Lee, ; Lee, E.A.

Book ID: 111879164
Publisher: IEEE Comput. Soc
Year: 1998
Tongue: English
Weight: 62 KB
Volume: 0
Category: Article
ISBN-13: 9780818683503
DOI: 10.1109/csd.1998.657537

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc 1998 International Con

[IEEE Comput. Soc 1998 International Conference on Application of Concurrency to System Design - Fukushima, Japan (23-26 March 1998)] Proceedings 1998 International Conference on Application of Concurrency to System Design - Combining structural and symbolic methods for the verification of concurrent systems

✍ Cortadella, J. 📂 Article 📅 1998 🏛 IEEE Comput. Soc ⚖ 160 KB

[IEEE Comput. Soc International Conferen

[IEEE Comput. Soc International Conference on Application of Concurrency to System Design (ACSD'2003) - Guimaraes, Portugal (18-20 June 2003)] Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. - HiWorD: a Petri net-based hierarchical workflow designer

✍ Benatallah, B.; Chrzastowski-Wachtel, P.; Hamadi, R.; O'Dell, M.; Susanto, A. 📂 Article 📅 2003 🏛 IEEE Comput. Soc ⚖ 365 KB

[IEEE Comput. Soc Second International C

[IEEE Comput. Soc Second International Conference on Application of Concurrency to System Design. ACSD 2001 - Newcastle upon Tyne, UK (25-29 June 2001)] Proceedings Second International Conference on Application of Concurrency to System Design - Semi-hiding operators and the analysis of active-edge specifications for digital circuits

✍ Negulescu, R.; Xiaohua Kong, 📂 Article 📅 2001 🏛 IEEE Comput. Soc ⚖ 385 KB

[IEEE 2008 8th International Conference

[IEEE 2008 8th International Conference on Application of Concurrency to System Design - Xian, China (2008.06.23-2008.06.27)] 2008 8th International Conference on Application of Concurrency to System Design - Time-bounded model checking of infinite-state continuous-time Markov chains

✍ Lijun Zhang, ; Hermanns, Holger; Moritz Hahn, E.; Wachter, Bjorn 📂 Article 📅 2008 🏛 IEEE ⚖ 370 KB

[IEEE Proceedings. Fourth International

[IEEE Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. - Hamilton, ON, Canada (16-18 June 2004)] Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004. - Verification and implementation of delay-insensitive processes in restrictive environments

✍ Kapoor, H.K.; Josephs, M.B.; Furey, D.P. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 345 KB

[IEEE 2008 8th International Conference

[IEEE 2008 8th International Conference on Application of Concurrency to System Design - Xian, China (2008.06.23-2008.06.27)] 2008 8th International Conference on Application of Concurrency to System Design - Using edge-triggering in the asynchronous synthesis of write-after-read operations

✍ Toosizadeh, Navid; Zaky, Safwat 📂 Article 📅 2008 🏛 IEEE ⚖ 156 KB