Fatcat About Guide Changelog IA Scholar

A Type-Safe Model of Adaptive Object Groups release_iizv6i53gzg3pp4sgx67mg5rfy

by Joakim Bjørk, Dave Clarke, Einar Broch Johnsen, Olaf Owe

Entity Metadata (schema)

abstracts []
container {'state': 'active', 'ident': 'qzezkwolyvf33pglm2jldjklca', 'revision': '49a7f730-f5e0-492b-9ea0-d1c6319bb229', 'redirect': None, 'extra': {'abbrev': 'Electron Proc Theor Comput Sci', 'country': 'au', 'default_license': 'CC-BY-NC-ND', 'doaj': {'as_of': '2022-07-06', 'default_license': 'CC-BY-NC-ND', 'seal': False}, 'languages': ['en'], 'publisher_type': 'society', 'road': {'as_of': '2018-01-24'}, 'urls': ['http://eptcs.org/']}, 'edit_extra': None, 'name': 'Electronic Proceedings in Theoretical Computer Science', 'container_type': 'proceedings', 'publication_status': None, 'publisher': 'Open Publishing Association', 'issnl': '2075-2180', 'issne': '2075-2180', 'issnp': '2075-2180', 'wikidata_qid': 'Q27725718'}
container_id qzezkwolyvf33pglm2jldjklca
contribs[] {'index': 0, 'creator_id': None, 'creator': None, 'raw_name': 'Joakim Bjørk', 'given_name': None, 'surname': None, 'role': 'author', 'raw_affiliation': 'University of Oslo', 'extra': {'seq': 'first'}}
{'index': 1, 'creator_id': None, 'creator': None, 'raw_name': 'Dave Clarke', 'given_name': None, 'surname': None, 'role': 'author', 'raw_affiliation': 'Katholieke Universiteit Leuven', 'extra': None}
{'index': 2, 'creator_id': None, 'creator': None, 'raw_name': 'Einar Broch Johnsen', 'given_name': None, 'surname': None, 'role': 'author', 'raw_affiliation': 'University of Oslo', 'extra': None}
{'index': 3, 'creator_id': None, 'creator': None, 'raw_name': 'Olaf Owe', 'given_name': None, 'surname': None, 'role': 'author', 'raw_affiliation': 'University of Oslo', 'extra': None}
ext_ids {'doi': '10.4204/eptcs.91.1', 'wikidata_qid': None, 'isbn13': None, 'pmid': None, 'pmcid': None, 'core': '129088165', 'arxiv': None, 'jstor': None, 'ark': None, 'mag': None, 'doaj': None, 'dblp': None, 'oai': None, 'hdl': None}
files[] {'state': 'active', 'ident': 'dtgtz5iwejck3ppglkrbnfvqby', 'revision': '8d811637-8cd0-491d-9a1c-8518326b24e6', 'redirect': None, 'extra': None, 'edit_extra': None, 'size': 224911, 'md5': '7f7a0f077a2471dd6e745d37bb4b0500', 'sha1': 'bc6d08c0ef8cd52c63a6fd348333b3f7cddd8265', 'sha256': '771739382b5808ff3eba5c76cc039b894f5323b57f65182f98b329209adcb779', 'urls': [{'url': 'https://web.archive.org/web/20170922030954/http://heim.ifi.uio.no/~einarj/Papers/bjork12foclasa.pdf', 'rel': 'webarchive'}, {'url': 'http://heim.ifi.uio.no/~einarj/Papers/bjork12foclasa.pdf', 'rel': 'web'}, {'url': 'https://web.archive.org/web/20121114195255/http://heim.ifi.uio.no/~einarj/Papers/bjork12foclasa.pdf', 'rel': 'webarchive'}], 'mimetype': 'application/pdf', 'content_scope': None, 'release_ids': ['iizv6i53gzg3pp4sgx67mg5rfy'], 'releases': None}
filesets []
issue
language en
license_slug
number
original_title
pages 1-15
publisher Open Publishing Association
refs[] {'index': 0, 'target_release_id': None, 'extra': {'authors': ['Agha'], 'doi': '10.1145/155332.155335', 'volume-title': 'Proceedings of the Fourth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP)'}, 'key': 'agha93ppopp', 'year': 1993, 'container_name': 'Proceedings of the Fourth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP)', 'title': 'ActorSpaces: An Open Distributed Programming Paradigm', 'locator': '23'}
{'index': 1, 'target_release_id': None, 'extra': {'authors': ['Amtoft'], 'doi': '10.1142/p132', 'volume-title': 'Type and effect systems - behaviours for concurrency'}, 'key': 'amtoft99book', 'year': 1999, 'container_name': 'Type and effect systems - behaviours for concurrency', 'title': None, 'locator': None}
{'index': 2, 'target_release_id': None, 'extra': {'authors': ['Baduel'], 'doi': '10.1145/583810.583814', 'volume-title': 'Proc. Joint ACM-ISCOPE Conference on Java Grande'}, 'key': 'DBLP:conf/java/BaduelBC02', 'year': 2002, 'container_name': 'Proc. Joint ACM-ISCOPE Conference on Java Grande', 'title': 'Efficient, flexible, and typed group communications in Java', 'locator': '28'}
{'index': 3, 'target_release_id': None, 'extra': {'authors': ['Caromel'], 'doi': '10.1007/b138812', 'volume-title': 'A theory of distributed objects - asynchrony, mobility, groups, components'}, 'key': 'DBLP:books/daglib/0012826', 'year': 2005, 'container_name': 'A theory of distributed objects - asynchrony, mobility, groups, components', 'title': None, 'locator': None}
{'index': 4, 'target_release_id': None, 'extra': {'authors': ['Chakraborty'], 'doi': '10.1109/mwcn.2002.1045711', 'volume-title': 'Proceedings of The Fourth IEEE Conference on Mobile and Wireless Communications Networks'}, 'key': 'DBLP:conf/mwcn/ChakrabortyJYF02', 'year': 2002, 'container_name': 'Proceedings of The Fourth IEEE Conference on Mobile and Wireless Communications Networks', 'title': 'GSD: a novel group-based service discovery protocol for MANETS', 'locator': '140'}
{'index': 5, 'target_release_id': None, 'extra': {'authors': ['Clarke'], 'doi': '10.1007/978-3-642-11512-7_12', 'series-title': 'Lecture Notes in Computer Science', 'volume': '5930', 'volume-title': 'Concurrency, Compositionality, and Correctness'}, 'key': 'DBLP:conf/birthday/ClarkeJO10', 'year': 2010, 'container_name': 'Concurrency, Compositionality, and Correctness', 'title': 'Concurrent Objects à la Carte', 'locator': '185'}
{'index': 6, 'target_release_id': None, 'extra': {'doi': '10.1007/978-3-540-71999-1', 'series-title': 'Lecture Notes in Computer Science', 'volume': '4350', 'volume-title': 'All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic'}, 'key': 'maude-book', 'year': 2007, 'container_name': 'All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic', 'title': None, 'locator': None}
{'index': 7, 'target_release_id': None, 'extra': {'authors': ['Cruz'], 'doi': '10.1007/3-540-48919-3_25', 'series-title': 'Lecture Notes in Computer Science', 'volume': '1594', 'volume-title': "Third International Conference on Coordination Languages and Models (COORDINATION'99)"}, 'key': 'cruz99coord', 'year': 1999, 'container_name': "Third International Conference on Coordination Languages and Models (COORDINATION'99)", 'title': 'A Group Based Approach for Coordinating Active Objects', 'locator': '355'}
{'index': 8, 'target_release_id': None, 'extra': {'authors': ['Dedecker'], 'doi': '10.1007/11785477_16', 'series-title': 'Lecture Notes in Computer Science', 'volume': '4067', 'volume-title': "Proc. 20th European Conference on Object-Oriented Programming, (ECOOP'06)"}, 'key': 'DBLP:conf/ecoop/DedeckerCMDM06', 'year': 2006, 'container_name': "Proc. 20th European Conference on Object-Oriented Programming, (ECOOP'06)", 'title': 'Ambient-Oriented Programming in AmbientTalk', 'locator': '230'}
{'index': 9, 'target_release_id': None, 'extra': {'authors': ['Fiadeiro'], 'doi': '10.1007/s00165-010-0166-z', 'volume': '23'}, 'key': 'DBLP:journals/fac/FiadeiroLB11', 'year': 2011, 'container_name': 'Formal Asp. Comput.', 'title': 'An abstract model of service discovery and binding', 'locator': '433'}
{'index': 10, 'target_release_id': None, 'extra': {'authors': ['guo Gao'], 'doi': '10.1016/j.comnet.2005.12.004', 'issue': '16', 'volume': '50'}, 'key': 'DBLP:journals/cn/GaoWYY06', 'year': 2006, 'container_name': 'Computer Networks', 'title': 'CNPGSDP: An efficient group-based service discovery protocol for MANETs', 'locator': '3165'}
{'index': 11, 'target_release_id': None, 'extra': {'authors': ['Hasselmeyer'], 'doi': '10.1007/11596141_12', 'series-title': 'Lecture Notes in Computer Science', 'volume': '3826', 'volume-title': 'Proceedings of the Third International Conference on Service-Oriented Computing (ICSOC 2005)'}, 'key': 'DBLP:conf/icsoc/Hasselmeyer05', 'year': 2005, 'container_name': 'Proceedings of the Third International Conference on Service-Oriented Computing (ICSOC 2005)', 'title': 'On Service Discovery Process Types', 'locator': '144'}
{'index': 12, 'target_release_id': None, 'extra': {'authors': ['Igarashi'], 'doi': '10.1145/503502.503505', 'volume': '23'}, 'key': 'igarashi01', 'year': 2001, 'container_name': 'ACM Transactions on Programming Languages and Systems', 'title': 'Featherweight Java: a minimal core calculus for Java and GJ', 'locator': '396'}
{'index': 13, 'target_release_id': None, 'extra': {'authors': ['Johnsen'], 'doi': '10.1007/978-3-642-25271-6_8', 'series-title': 'Lecture Notes in Computer Science', 'volume': '6957', 'volume-title': 'Proc. 9th International Symposium on Formal Methods for Components and Objects (FMCO 2010)'}, 'key': 'johnsen10fmco', 'year': 2011, 'container_name': 'Proc. 9th International Symposium on Formal Methods for Components and Objects (FMCO 2010)', 'title': 'ABS: A Core Language for Abstract Behavioral Specification', 'locator': '142'}
{'index': 14, 'target_release_id': None, 'extra': {'authors': ['Kaashoek'], 'doi': '10.1088/0967-1846/1/1/006'}, 'key': 'DBLP:journals/dse/KaashoekTV93', 'year': 1993, 'container_name': 'Distributed Systems Engineering', 'title': 'Group communication in Amoeba and its applications', 'locator': '48'}
{'index': 15, 'target_release_id': None, 'extra': {'authors': ['Lapadula'], 'doi': '10.1016/j.entcs.2008.04.097', 'volume': '200'}, 'key': 'DBLP:journals/entcs/LapadulaPT08', 'year': 2008, 'container_name': 'Electronic Notes in Theoretical Computer Science', 'title': 'Service Discovery and Negotiation With COWS', 'locator': '133'}
{'index': 16, 'target_release_id': None, 'extra': {'authors': ['Lucassen'], 'doi': '10.1145/73560.73564', 'volume-title': "Proceedings of the 15th Symposium on Principles of Programming Languages (POPL'88)"}, 'key': 'lucassen88popl', 'year': 1988, 'container_name': "Proceedings of the 15th Symposium on Principles of Programming Languages (POPL'88)", 'title': 'Polymorphic effect systems', 'locator': '47'}
{'index': 17, 'target_release_id': None, 'extra': {'authors': ['Meling'], 'doi': '10.1002/spe.853', 'volume': '38'}, 'key': 'DBLP:journals/spe/MelingMHB08', 'year': 2008, 'container_name': 'Softw., Pract. Exper.', 'title': 'Jgroup/ARM: a distributed object group platform with autonomous replication management', 'locator': '885'}
{'index': 18, 'target_release_id': None, 'extra': {'authors': ['Plotkin'], 'doi': '10.1016/j.jlap.2004.05.001', 'volume': '60-61'}, 'key': 'plotkin04jlap', 'year': 2004, 'container_name': 'Journal of Logic and Algebraic Programming', 'title': 'A structural approach to operational semantics', 'locator': '17'}
{'index': 19, 'target_release_id': None, 'extra': {'authors': ['Pucella'], 'doi': '10.1145/583854.582449', 'volume-title': "Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'02)"}, 'key': 'pucella02oopsla', 'year': 2002, 'container_name': "Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'02)", 'title': 'Towards a formalization for COM part I: the primitive calculus', 'locator': '331'}
{'index': 20, 'target_release_id': None, 'extra': {'authors': ['Schäfer'], 'doi': '10.1007/978-3-642-14107-2_13', 'series-title': 'Lecture Notes in Computer Science', 'volume': '6183', 'volume-title': 'European Conference on Object-Oriented Programming (ECOOP 2010)'}, 'key': 'schaefer10ecoop', 'year': 2010, 'container_name': 'European Conference on Object-Oriented Programming (ECOOP 2010)', 'title': 'JCoBox: Generalizing Active Objects to Concurrent Components', 'locator': '275'}
{'index': 21, 'target_release_id': None, 'extra': {'authors': ['Talpin'], 'doi': '10.1017/s0956796800000393'}, 'key': 'talpin92effect', 'year': 1992, 'container_name': 'Journal of Functional Programming', 'title': 'Polymorphic Type, Region and Effect Inference.', 'locator': '245'}
release_date 2012-08-15
release_stage published
release_type article-journal
release_year 2012
subtitle
title A Type-Safe Model of Adaptive Object Groups
version
volume 91
webcaptures []
withdrawn_date
withdrawn_status
withdrawn_year
work_id chlrngpkjraklk64w3wbwbpytq
As JSON via API

Extra Metadata (raw JSON)

crossref.type journal-article