𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press the 2013 workshop - Indianapolis, Indiana, USA (2013.10.27-2013.10.27)] Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control - AGERE! '13 - Analysing timed Rebeca using McErlang

✍ Scribed by Kristinsson, Haukur; Jafari, Ali; Khamespanah, Ehsan; Magnusson, Brynjar; Sirjani, Marjan

Book ID: 125532119
Publisher: ACM Press
Year: 2013
Weight: 625 KB
Category: Article
ISBN: 1450326021
DOI: 10.1145/2541329.2541335

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 2013 workshop - Indianapo

[ACM Press the 2013 workshop - Indianapolis, Indiana, USA (2013.10.27-2013.10.27)] Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control - AGERE! '13 - A task framework on top of a concurrent OOP language rooted on agent-oriented abstractions

✍ Santi, Andrea; Ricci, Alessandro 📂 Article 📅 2013 🏛 ACM Press ⚖ 521 KB

[ACM Press the 2013 ACM workshop - India

[ACM Press the 2013 ACM workshop - Indianapolis, Indiana, USA (2013.10.27-2013.10.27)] Proceedings of the 2013 ACM workshop on Workshop on refactoring tools - WRT '13 - Active support for clone refactoring

✍ Yoshida, Norihiro; Choi, Eunjong; Inoue, Katsuro 📂 Article 📅 2013 🏛 ACM Press ⚖ 569 KB

[ACM Press the 2013 ACM workshop - India

[ACM Press the 2013 ACM workshop - Indianapolis, Indiana, USA (2013.10.27-2013.10.27)] Proceedings of the 2013 ACM workshop on Workshop on refactoring tools - WRT '13 - Upgrading fortran source code using automatic refactoring

✍ Orchard, Dominic; Rice, Andrew 📂 Article 📅 2013 🏛 ACM Press ⚖ 410 KB

[ACM Press the 2013 ACM workshop - India

[ACM Press the 2013 ACM workshop - Indianapolis, Indiana, USA (2013.10.27-2013.10.27)] Proceedings of the 2013 ACM workshop on Workshop on refactoring tools - WRT '13 - What programmers say about refactoring tools?

✍ Pinto, Gustavo H.; Kamei, Fernando 📂 Article 📅 2013 🏛 ACM Press ⚖ 417 KB

[ACM Press the 2013 ACM workshop - India

[ACM Press the 2013 ACM workshop - Indianapolis, Indiana, USA (2013.10.27-2013.10.27)] Proceedings of the 2013 ACM workshop on Domain-specific modeling - DSM '13 - MIDE-based sensor management and verification for a self-driving miniature vehicle

✍ Mamun, Md Abdullah Al; Berger, Christian; Hansson, Jorgen 📂 Article 📅 2013 🏛 ACM Press ⚖ 941 KB

[ACM Press the 2013 workshop - San Franc

[ACM Press the 2013 workshop - San Francisco, California, USA (2013.10.27-2013.10.28)] Proceedings of the 2013 workshop on Automated knowledge base construction - AKBC '13 - A joint model for discovering and linking entities

✍ Wick, Michael; Singh, Sameer; Pandya, Harshal; McCallum, Andrew 📂 Article 📅 2013 🏛 ACM Press ⚖ 487 KB