Loading…

Specification diagrams for actor systems

Saved in:

Bibliographic Details
Published in:	Higher-order and symbolic computation 2002-12, Vol.15 (4), p.301-348
Main Authors:	SMITH, Scott F, TALCOTT, Carolyn L
Format:	Article
Language:	English
Subjects:	Algorithmics. Computability. Computer arithmetics Applied sciences Computer science control theory systems Exact sciences and technology Language theory and syntactical analysis Programming languages Software Theoretical computing
Citations:	Items that cite this one
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

cited_by	cdi_FETCH-LOGICAL-c144t-aea00b3506e13ae65e12a2aeaf9436b948b7fc959b8cffccf9ec9fc0685d57963
cites
container_end_page	348
container_issue	4
container_start_page	301
container_title	Higher-order and symbolic computation
container_volume	15
creator	SMITH, Scott F TALCOTT, Carolyn L
description
doi_str_mv	10.1023/A:1022934504959
format	article
fullrecord	<record><control><sourceid>pascalfrancis</sourceid><recordid>TN_cdi_pascalfrancis_primary_14720132</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>14720132</sourcerecordid><originalsourceid>FETCH-LOGICAL-c144t-aea00b3506e13ae65e12a2aeaf9436b948b7fc959b8cffccf9ec9fc0685d57963</originalsourceid><addsrcrecordid>eNotjkFLAzEQRoMouFbPXvcieFmdySTZxFspVoWCB_VcZqeJRLrtstlL_70LenkP3uHjU-oW4QFB0-PyaZYOZCyYYMOZqrRG3UAb6FxVSN435AJcqqtSfgBAG8RK3X8MUXLKwlM-Hupd5u-R-1Kn41izTDPLqUyxL9fqIvG-xJt_L9TX-vlz9dps3l_eVstNI2jM1HBkgI4suIjE0dmImvVcUzDkumB81yaZ_3VeUhJJIUpIAs7bnW2Do4W6-9sduAjv08gHyWU7jLnn8bRF02pA0vQLwg5ENQ</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Specification diagrams for actor systems</title><source>Alma/SFX Local Collection</source><creator>SMITH, Scott F ; TALCOTT, Carolyn L</creator><creatorcontrib>SMITH, Scott F ; TALCOTT, Carolyn L</creatorcontrib><identifier>ISSN: 1388-3690</identifier><identifier>EISSN: 2212-0793</identifier><identifier>DOI: 10.1023/A:1022934504959</identifier><language>eng</language><publisher>Heidelberg: Springer</publisher><subject>Algorithmics. Computability. Computer arithmetics ; Applied sciences ; Computer science; control theory; systems ; Exact sciences and technology ; Language theory and syntactical analysis ; Programming languages ; Software ; Theoretical computing</subject><ispartof>Higher-order and symbolic computation, 2002-12, Vol.15 (4), p.301-348</ispartof><rights>2003 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c144t-aea00b3506e13ae65e12a2aeaf9436b948b7fc959b8cffccf9ec9fc0685d57963</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27924,27925</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=14720132$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>SMITH, Scott F</creatorcontrib><creatorcontrib>TALCOTT, Carolyn L</creatorcontrib><title>Specification diagrams for actor systems</title><title>Higher-order and symbolic computation</title><subject>Algorithmics. Computability. Computer arithmetics</subject><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Exact sciences and technology</subject><subject>Language theory and syntactical analysis</subject><subject>Programming languages</subject><subject>Software</subject><subject>Theoretical computing</subject><issn>1388-3690</issn><issn>2212-0793</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2002</creationdate><recordtype>article</recordtype><recordid>eNotjkFLAzEQRoMouFbPXvcieFmdySTZxFspVoWCB_VcZqeJRLrtstlL_70LenkP3uHjU-oW4QFB0-PyaZYOZCyYYMOZqrRG3UAb6FxVSN435AJcqqtSfgBAG8RK3X8MUXLKwlM-Hupd5u-R-1Kn41izTDPLqUyxL9fqIvG-xJt_L9TX-vlz9dps3l_eVstNI2jM1HBkgI4suIjE0dmImvVcUzDkumB81yaZ_3VeUhJJIUpIAs7bnW2Do4W6-9sduAjv08gHyWU7jLnn8bRF02pA0vQLwg5ENQ</recordid><startdate>200212</startdate><enddate>200212</enddate><creator>SMITH, Scott F</creator><creator>TALCOTT, Carolyn L</creator><general>Springer</general><scope>IQODW</scope></search><sort><creationdate>200212</creationdate><title>Specification diagrams for actor systems</title><author>SMITH, Scott F ; TALCOTT, Carolyn L</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c144t-aea00b3506e13ae65e12a2aeaf9436b948b7fc959b8cffccf9ec9fc0685d57963</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2002</creationdate><topic>Algorithmics. Computability. Computer arithmetics</topic><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Exact sciences and technology</topic><topic>Language theory and syntactical analysis</topic><topic>Programming languages</topic><topic>Software</topic><topic>Theoretical computing</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>SMITH, Scott F</creatorcontrib><creatorcontrib>TALCOTT, Carolyn L</creatorcontrib><collection>Pascal-Francis</collection><jtitle>Higher-order and symbolic computation</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>SMITH, Scott F</au><au>TALCOTT, Carolyn L</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Specification diagrams for actor systems</atitle><jtitle>Higher-order and symbolic computation</jtitle><date>2002-12</date><risdate>2002</risdate><volume>15</volume><issue>4</issue><spage>301</spage><epage>348</epage><pages>301-348</pages><issn>1388-3690</issn><eissn>2212-0793</eissn><cop>Heidelberg</cop><pub>Springer</pub><doi>10.1023/A:1022934504959</doi><tpages>48</tpages></addata></record>
fulltext	fulltext
identifier	ISSN: 1388-3690
ispartof	Higher-order and symbolic computation, 2002-12, Vol.15 (4), p.301-348
issn	1388-3690 2212-0793
language	eng
recordid	cdi_pascalfrancis_primary_14720132
source	Alma/SFX Local Collection
subjects	Algorithmics. Computability. Computer arithmetics Applied sciences Computer science control theory systems Exact sciences and technology Language theory and syntactical analysis Programming languages Software Theoretical computing
title	Specification diagrams for actor systems
url	http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-30T19%3A45%3A59IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Specification%20diagrams%20for%20actor%20systems&rft.jtitle=Higher-order%20and%20symbolic%20computation&rft.au=SMITH,%20Scott%20F&rft.date=2002-12&rft.volume=15&rft.issue=4&rft.spage=301&rft.epage=348&rft.pages=301-348&rft.issn=1388-3690&rft.eissn=2212-0793&rft_id=info:doi/10.1023/A:1022934504959&rft_dat=%3Cpascalfrancis%3E14720132%3C/pascalfrancis%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c144t-aea00b3506e13ae65e12a2aeaf9436b948b7fc959b8cffccf9ec9fc0685d57963%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true