Search all the public and authenticated articles in CiteULike.
Enter a search phrase. You can also specify

a CiteULike article id (123456),

a DOI (doi:10.1234/12345678)

or a PubMed Id (pmid:12345678).

Click Help for advanced usage.

toppi's Pu:G [3 articles] Export

Recent papers posted to toppi's library by the author Pu:G. You can also see everyone's Pu:G.

	Modeling and Verifying Web Services Choreography Using Process Algebra [My Copy] Software Engineering Workshop, 2007. SEW 2007. 31st IEEE In Software Engineering Workshop, 2007. SEW 2007. 31st IEEE (2007), pp. 256-268. by Jing Li, Jifeng He, Huibiao Zhu, Geguang Pu posted to choreography csp verification by toppi on 2008-03-24 05:01:57 as
	Tool Support for BPEL Verification in ActiveBPEL Engine [My Copy] (April 2007) by Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai posted to bpel webservice by toppi on 2007-05-16 05:44:17 as
	Semantics of BPEL4WS-Like Fault and Compensation Handling [My Copy] : FM 2005: Formal Methods (2005), pp. 350-365. by Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao posted to webservice formalmethod by toppi on 2007-02-06 09:09:53 as along with 2 people newdawn zxp

Note: You may cite this page as: http://www.citeulike.org/user/toppi/author/Pu:G

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

exception	27
webservice	19
fault-tolerant	11
business_contract	10
ws-bpel	10
choreography	10
coordinated	9
business_process	8
concurrent	7
programming_language	5
csp	4
ws-cdl	4
bpel	4
workflow	3
cooperative	3
channel-passing	3
distributed-system	2
msc	2
formalmethod	2
software_engineering	2
pi-calculus	2
interface	2
verification	2
research_trend	2
scope	2
ibm	2
bpm	2
java	2
ws-composition	2
soa	2
artifact	2
handling	1
mobility	1
global	1
criticism	1
real-time	1
service	1
guardian	1
econtract	1
mobile-process	1
uddi	1
projection	1
wsdl	1
web	1
software_process	1
contract	1
formal	1
social-network	1
case	1
testing	1
icse	1
realizability	1
industry_work	1
algorithm	1
model	1
top-down	1
checking	1
event-based	1
net	1
computerlanguage	1
agent	1
transaction	1
survey	1
method	1
business_transaction	1
correctness_by_construction	1
web20	1

toppi's Pu:G [3 articles] Export

toppi's tags