A complete axiomatic semantics of spawning

Saved in:
Bibliographic Details
Published in:Distributed computing 1991-12, Vol.5 (3), p.159-174
Main Author: MELDAL, S
Format: Article
Language:English
Subjects:
Applied sciences
Computer science
control theory
systems
Exact sciences and technology
Programming languages
Software
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites cdi_FETCH-LOGICAL-c219t-c7843d17ebfda3eb65b05d31819f06b01b5c9ca18cd5c891f84bbe7dcc31e5013
container_end_page 174
container_issue 3
container_start_page 159
container_title Distributed computing
container_volume 5
creator MELDAL, S
description
doi_str_mv 10.1007/BF02252958
format article
fullrecord <record><control><sourceid>pascalfrancis_cross</sourceid><recordid>TN_cdi_crossref_primary_10_1007_BF02252958</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>5058252</sourcerecordid><originalsourceid>FETCH-LOGICAL-c219t-c7843d17ebfda3eb65b05d31819f06b01b5c9ca18cd5c891f84bbe7dcc31e5013</originalsourceid><addsrcrecordid>eNpFj01Lw0AURQdRMFY3_oIsXBVi35vJdCbLWqwKhW50Hd68zEgkX2QC6r830qKrexfnXjhC3CLcI4BZPexASi0Lbc9EgrmSGeRanosE0NhMGgOX4irGDwBQiDIRy03KfTs0fvIpfdV9S1PNafQtdXOJaR_SONBnV3fv1-IiUBP9zSkX4m33-Lp9zvaHp5ftZp-xxGLK2NhcVWi8CxUp79baga4UWiwCrB2g01wwoeVKsy0w2Nw5bypmhV4DqoVYHn957GMcfSiHsW5p_C4Ryl_L8t9yhu-O8ECRqQkjdVzHv4UGbWdS_QDApVBs</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>A complete axiomatic semantics of spawning</title><source>Springer Online Journal Archives</source><creator>MELDAL, S</creator><creatorcontrib>MELDAL, S</creatorcontrib><identifier>ISSN: 0178-2770</identifier><identifier>EISSN: 1432-0452</identifier><identifier>DOI: 10.1007/BF02252958</identifier><identifier>CODEN: DICOEB</identifier><language>eng</language><publisher>Heidelberg: Springer</publisher><subject>Applied sciences ; Computer science; control theory; systems ; Exact sciences and technology ; Programming languages ; Software</subject><ispartof>Distributed computing, 1991-12, Vol.5 (3), p.159-174</ispartof><rights>1992 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-LOGICAL-c219t-c7843d17ebfda3eb65b05d31819f06b01b5c9ca18cd5c891f84bbe7dcc31e5013</cites></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&amp;idt=5058252$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>MELDAL, S</creatorcontrib><title>A complete axiomatic semantics of spawning</title><title>Distributed computing</title><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Exact sciences and technology</subject><subject>Programming languages</subject><subject>Software</subject><issn>0178-2770</issn><issn>1432-0452</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1991</creationdate><recordtype>article</recordtype><recordid>eNpFj01Lw0AURQdRMFY3_oIsXBVi35vJdCbLWqwKhW50Hd68zEgkX2QC6r830qKrexfnXjhC3CLcI4BZPexASi0Lbc9EgrmSGeRanosE0NhMGgOX4irGDwBQiDIRy03KfTs0fvIpfdV9S1PNafQtdXOJaR_SONBnV3fv1-IiUBP9zSkX4m33-Lp9zvaHp5ftZp-xxGLK2NhcVWi8CxUp79baga4UWiwCrB2g01wwoeVKsy0w2Nw5bypmhV4DqoVYHn957GMcfSiHsW5p_C4Ryl_L8t9yhu-O8ECRqQkjdVzHv4UGbWdS_QDApVBs</recordid><startdate>199112</startdate><enddate>199112</enddate><creator>MELDAL, S</creator><general>Springer</general><scope>IQODW</scope><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>199112</creationdate><title>A complete axiomatic semantics of spawning</title><author>MELDAL, S</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c219t-c7843d17ebfda3eb65b05d31819f06b01b5c9ca18cd5c891f84bbe7dcc31e5013</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1991</creationdate><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Exact sciences and technology</topic><topic>Programming languages</topic><topic>Software</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>MELDAL, S</creatorcontrib><collection>Pascal-Francis</collection><collection>CrossRef</collection><jtitle>Distributed computing</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>MELDAL, S</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>A complete axiomatic semantics of spawning</atitle><jtitle>Distributed computing</jtitle><date>1991-12</date><risdate>1991</risdate><volume>5</volume><issue>3</issue><spage>159</spage><epage>174</epage><pages>159-174</pages><issn>0178-2770</issn><eissn>1432-0452</eissn><coden>DICOEB</coden><cop>Heidelberg</cop><cop>Berlin</cop><pub>Springer</pub><doi>10.1007/BF02252958</doi><tpages>16</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0178-2770
ispartof Distributed computing, 1991-12, Vol.5 (3), p.159-174
issn 0178-2770
1432-0452
language eng
recordid cdi_crossref_primary_10_1007_BF02252958
source Springer Online Journal Archives
subjects Applied sciences
Computer science
control theory
systems
Exact sciences and technology
Programming languages
Software
title A complete axiomatic semantics of spawning
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-07T20%3A26%3A11IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=A%20complete%20axiomatic%20semantics%20of%20spawning&rft.jtitle=Distributed%20computing&rft.au=MELDAL,%20S&rft.date=1991-12&rft.volume=5&rft.issue=3&rft.spage=159&rft.epage=174&rft.pages=159-174&rft.issn=0178-2770&rft.eissn=1432-0452&rft.coden=DICOEB&rft_id=info:doi/10.1007/BF02252958&rft_dat=%3Cpascalfrancis_cross%3E5058252%3C/pascalfrancis_cross%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c219t-c7843d17ebfda3eb65b05d31819f06b01b5c9ca18cd5c891f84bbe7dcc31e5013%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