𝔖 Bobbio Scriptorium

✦ LIBER ✦

[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

✍ Scribed by Benatallah, B.; Chrzastowski-Wachtel, P.; Hamadi, R.; O'Dell, M.; Susanto, A.

Book ID: 121311324
Publisher: IEEE Comput. Soc
Year: 2003
Weight: 365 KB
Category: Article
ISBN-13: 9780769518879
DOI: 10.1109/CSD.2003.1207720

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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. - Evaluating symbolic traversal algorithms applied to asynchronous concurrent systems

✍ Sole, M.; Pastor, E. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 402 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. - A behavioral type inference system for compositional system-on-chip design

✍ Talpin, J.-P.; Berner, D.; Shukla, S.K.; Le Guernic, P.; Gamatiie, A.; Gupta, R. 📂 Article 📅 2004 🏛 IEEE ⚖ 396 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. - BMC via dynamic atomicity analysis

✍ Jussila, T. 📂 Article 📅 2004 🏛 IEEE ⚖ 341 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. - New orbit algorithms for data symmetries

✍ Junttila, T.A. 📂 Article 📅 2004 🏛 IEEE ⚖ 413 KB

[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 - Hierarchical concurrent finite state machines in Ptolemy

✍ Bilung Lee, ; Lee, E.A. 📂 Article 📅 1998 🏛 IEEE Comput. Soc 🌐 English ⚖ 62 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. - A semantics of security protocol language (SPL) using a class of composable high-level Petri nets

✍ Bouroulet, R.; Klaudel, H.; Pelz, E. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 367 KB