Formalizing BPEL-TC Through Π-Calculus

Saved in:
Bibliographic Details
Published in:International journal of web & semantic technology 2013-07, Vol.4 (3), p.11-21
Main Authors: Marwaha, Preeti, Banati, Hema, Bedi, Punam
Format: Article
Language:English
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-c1302-ab49136c27ffda8fb8bc6a091b565312a49ef5e430dd4f032e75cea9450bafd43
cites
container_end_page 21
container_issue 3
container_start_page 11
container_title International journal of web & semantic technology
container_volume 4
creator Marwaha, Preeti
Banati, Hema
Bedi, Punam
description
doi_str_mv 10.5121/ijwest.2013.4302
format article
fullrecord <record><control><sourceid>crossref</sourceid><recordid>TN_cdi_crossref_primary_10_5121_ijwest_2013_4302</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>10_5121_ijwest_2013_4302</sourcerecordid><originalsourceid>FETCH-LOGICAL-c1302-ab49136c27ffda8fb8bc6a091b565312a49ef5e430dd4f032e75cea9450bafd43</originalsourceid><addsrcrecordid>eNotj71OwzAcxC0EElXpzpiNyeHvrzgeIWopUiQYwmzZjt2mSgmyiRA8DU_EM5FQbrmb7u6H0DWBXBBKbrvDh0_vOQXCcs6AnqEFKCmwAlqc_-UCU1rCJVqldIBJUioAvkA3myEeTd99da-77P55XeOmypp9HMbdPvv5xpXp3diP6QpdBNMnv_r3JXrZrJtqi-unh8fqrsaOTLvYWK4IKxyVIbSmDLa0rjCgiBWFYIQarnwQfvrYtjwAo14K543iAqwJLWdLBKdeF4eUog_6LXZHEz81AT2z6hOrnln1zMp-AdI9SAE</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Formalizing BPEL-TC Through Π-Calculus</title><source>EZB-FREE-00999 freely available EZB journals</source><creator>Marwaha, Preeti ; Banati, Hema ; Bedi, Punam</creator><creatorcontrib>Marwaha, Preeti ; Banati, Hema ; Bedi, Punam</creatorcontrib><identifier>ISSN: 0976-2280</identifier><identifier>EISSN: 0975-9026</identifier><identifier>DOI: 10.5121/ijwest.2013.4302</identifier><language>eng</language><ispartof>International journal of web &amp; semantic technology, 2013-07, Vol.4 (3), p.11-21</ispartof><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c1302-ab49136c27ffda8fb8bc6a091b565312a49ef5e430dd4f032e75cea9450bafd43</citedby></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,776,780,27901,27902</link.rule.ids></links><search><creatorcontrib>Marwaha, Preeti</creatorcontrib><creatorcontrib>Banati, Hema</creatorcontrib><creatorcontrib>Bedi, Punam</creatorcontrib><title>Formalizing BPEL-TC Through Π-Calculus</title><title>International journal of web &amp; semantic technology</title><issn>0976-2280</issn><issn>0975-9026</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2013</creationdate><recordtype>article</recordtype><recordid>eNotj71OwzAcxC0EElXpzpiNyeHvrzgeIWopUiQYwmzZjt2mSgmyiRA8DU_EM5FQbrmb7u6H0DWBXBBKbrvDh0_vOQXCcs6AnqEFKCmwAlqc_-UCU1rCJVqldIBJUioAvkA3myEeTd99da-77P55XeOmypp9HMbdPvv5xpXp3diP6QpdBNMnv_r3JXrZrJtqi-unh8fqrsaOTLvYWK4IKxyVIbSmDLa0rjCgiBWFYIQarnwQfvrYtjwAo14K543iAqwJLWdLBKdeF4eUog_6LXZHEz81AT2z6hOrnln1zMp-AdI9SAE</recordid><startdate>20130731</startdate><enddate>20130731</enddate><creator>Marwaha, Preeti</creator><creator>Banati, Hema</creator><creator>Bedi, Punam</creator><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>20130731</creationdate><title>Formalizing BPEL-TC Through Π-Calculus</title><author>Marwaha, Preeti ; Banati, Hema ; Bedi, Punam</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c1302-ab49136c27ffda8fb8bc6a091b565312a49ef5e430dd4f032e75cea9450bafd43</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2013</creationdate><toplevel>online_resources</toplevel><creatorcontrib>Marwaha, Preeti</creatorcontrib><creatorcontrib>Banati, Hema</creatorcontrib><creatorcontrib>Bedi, Punam</creatorcontrib><collection>CrossRef</collection><jtitle>International journal of web &amp; semantic technology</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Marwaha, Preeti</au><au>Banati, Hema</au><au>Bedi, Punam</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Formalizing BPEL-TC Through Π-Calculus</atitle><jtitle>International journal of web &amp; semantic technology</jtitle><date>2013-07-31</date><risdate>2013</risdate><volume>4</volume><issue>3</issue><spage>11</spage><epage>21</epage><pages>11-21</pages><issn>0976-2280</issn><eissn>0975-9026</eissn><doi>10.5121/ijwest.2013.4302</doi><tpages>11</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 0976-2280
ispartof International journal of web & semantic technology, 2013-07, Vol.4 (3), p.11-21
issn 0976-2280
0975-9026
language eng
recordid cdi_crossref_primary_10_5121_ijwest_2013_4302
source EZB-FREE-00999 freely available EZB journals
title Formalizing BPEL-TC Through Π-Calculus
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-01T03%3A58%3A43IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-crossref&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Formalizing%20BPEL-TC%20Through%20%CE%A0-Calculus&rft.jtitle=International%20journal%20of%20web%20&%20semantic%20technology&rft.au=Marwaha,%20Preeti&rft.date=2013-07-31&rft.volume=4&rft.issue=3&rft.spage=11&rft.epage=21&rft.pages=11-21&rft.issn=0976-2280&rft.eissn=0975-9026&rft_id=info:doi/10.5121/ijwest.2013.4302&rft_dat=%3Ccrossref%3E10_5121_ijwest_2013_4302%3C/crossref%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c1302-ab49136c27ffda8fb8bc6a091b565312a49ef5e430dd4f032e75cea9450bafd43%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