1 resultado para Exclusive and concurrent legislative powers
em Bulgarian Digital Mathematics Library at IMI-BAS
Filtro por publicador
- Aberystwyth University Repository - Reino Unido (1)
- Academic Research Repository at Institute of Developing Economies (2)
- Acceda, el repositorio institucional de la Universidad de Las Palmas de Gran Canaria. España (4)
- Adam Mickiewicz University Repository (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (4)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (1)
- Aquatic Commons (11)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (1)
- Archive of European Integration (71)
- Archivo Digital para la Docencia y la Investigación - Repositorio Institucional de la Universidad del País Vasco (1)
- Aston University Research Archive (13)
- B-Digital - Universidade Fernando Pessoa - Portugal (1)
- Biblioteca Digital | Sistema Integrado de Documentación | UNCuyo - UNCUYO. UNIVERSIDAD NACIONAL DE CUYO. (4)
- Biblioteca Digital da Câmara dos Deputados (5)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (8)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (6)
- Biblioteca Digital de la Universidad Católica Argentina (2)
- Biblioteca Digital de Teses e Dissertações Eletrônicas da UERJ (12)
- Biodiversity Heritage Library, United States (1)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (44)
- Boston College Law School, Boston College (BC), United States (1)
- Brock University, Canada (6)
- Bulgarian Digital Mathematics Library at IMI-BAS (1)
- Cambridge University Engineering Department Publications Database (7)
- Carolina Law Scholarship Repository (1)
- CentAUR: Central Archive University of Reading - UK (14)
- Central European University - Research Support Scheme (1)
- Chinese Academy of Sciences Institutional Repositories Grid Portal (3)
- Cochin University of Science & Technology (CUSAT), India (2)
- Comissão Econômica para a América Latina e o Caribe (CEPAL) (1)
- CORA - Cork Open Research Archive - University College Cork - Ireland (5)
- Dalarna University College Electronic Archive (2)
- Deakin Research Online - Australia (75)
- Department of Computer Science E-Repository - King's College London, Strand, London (1)
- Digital Commons - Michigan Tech (1)
- Digital Commons - Montana Tech (1)
- Digital Commons @ DU | University of Denver Research (5)
- Digital Commons at Florida International University (9)
- Digital Peer Publishing (1)
- DigitalCommons - The University of Maine Research (4)
- DigitalCommons@The Texas Medical Center (7)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (1)
- Duke University (4)
- FUNDAJ - Fundação Joaquim Nabuco (1)
- Glasgow Theses Service (1)
- Greenwich Academic Literature Archive - UK (2)
- Helda - Digital Repository of University of Helsinki (13)
- Indian Institute of Science - Bangalore - Índia (12)
- Instituto Politécnico de Santarém (1)
- Instituto Superior de Psicologia Aplicada - Lisboa (2)
- Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul (2)
- Massachusetts Institute of Technology (1)
- Memoria Académica - FaHCE, UNLP - Argentina (9)
- Ministerio de Cultura, Spain (1)
- National Center for Biotechnology Information - NCBI (2)
- Plymouth Marine Science Electronic Archive (PlyMSEA) (2)
- Portal de Revistas Científicas Complutenses - Espanha (1)
- Publishing Network for Geoscientific & Environmental Data (3)
- QSpace: Queen's University - Canada (1)
- QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast (30)
- Queensland University of Technology - ePrints Archive (78)
- RDBU - Repositório Digital da Biblioteca da Unisinos (1)
- ReCiL - Repositório Científico Lusófona - Grupo Lusófona, Portugal (1)
- Repositorio Académico de la Universidad Nacional de Costa Rica (1)
- Repositório Científico da Universidade de Évora - Portugal (3)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (3)
- Repositório Científico do Instituto Politécnico de Santarém - Portugal (1)
- Repositório digital da Fundação Getúlio Vargas - FGV (12)
- Repositório Institucional da Universidade de Aveiro - Portugal (3)
- Repositório Institucional da Universidade de Brasília (1)
- Repositório Institucional da Universidade Federal do Rio Grande do Norte (2)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (49)
- Repositorio Institucional Universidad de Medellín (1)
- Research Open Access Repository of the University of East London. (1)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (3)
- School of Medicine, Washington University, United States (1)
- Universidad de Alicante (1)
- Universidad del Rosario, Colombia (8)
- Universidad Politécnica de Madrid (15)
- Universidade de Lisboa - Repositório Aberto (2)
- Universidade dos Açores - Portugal (1)
- Universidade Federal do Pará (4)
- Universidade Federal do Rio Grande do Norte (UFRN) (10)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (1)
- Université de Montréal (2)
- Université de Montréal, Canada (25)
- Université Laval Mémoires et thèses électroniques (1)
- University of Connecticut - USA (1)
- University of Michigan (244)
- University of Queensland eSpace - Australia (4)
- University of Washington (1)
- WestminsterResearch - UK (4)
- Worcester Research and Publications - Worcester Research and Publications - UK (2)
Resumo:
The purpose of the paper is to explore the possibility of applying existing formal theories of description and design of distributed and concurrent systems to interaction protocols for real-time multi-agent systems. In particular it is shown how the language PRALU, proposed for description of parallel logical control algorithms and rooted in the Petri net formalism, can be used for the modeling of complex concurrent conversations between agents in a multi-agent system. It is demonstrated with a known example of English auction on how to specify an agent interaction protocol using considered means.