Modeling and Verifying Concurrent Programs with Finite Chu Spaces

Finite Chu spaces are proposed for the modeling and verification of concurrent programs.In order to model not only typical concurrent behaviors but also modern exception handling and synchronization mechanisms,we design an enriched process algebra of Chu spaces from a practical point of view.To illu...

Full description

Saved in:

Bibliographic Details
Published in	Journal of computer science and technology Vol. 25; no. 6; pp. 1168 - 1183
Main Author	杜旭涛邢春晓周立柱
Format	Journal Article
Language	English
Published	Boston Springer US 01.11.2010 Springer Nature B.V
Subjects	Algebra Algorithms Artificial Intelligence Behavior Computer Science Data Structures and Information Theory Design Enrichment Exception handling Information Systems Applications (incl.Internet) Mathematical analysis Mathematical models Program verification (computers) Programming languages R&D Regular Paper Research & development Semantics Software Software Engineering Specifications Theory of Computation 同步机制并发程序并行编程语言异常处理有限空间进程代数验证算法 process algebra Chu spaces verification denotational semantics concurrency
Online Access	Get full text
ISSN	1000-9000 1860-4749
DOI	10.1007/s11390-010-9397-y

Cover

Abstract	Finite Chu spaces are proposed for the modeling and verification of concurrent programs.In order to model not only typical concurrent behaviors but also modern exception handling and synchronization mechanisms,we design an enriched process algebra of Chu spaces from a practical point of view.To illustrate the power of finite Chu spaces and the process algebra while abstracting away from language-specific details,an imaginary concurrent programming language（ICL） is designed.A denotational semantics of ICL is presented using finite Chu spaces and the enriched process algebra.The valuation functions are fairly straightforward since the carefully designed operators have done much of the job.The enriched process algebra is also used as the specification language for Chu spaces,with which process-algebraic properties can be specified.Verification algorithms are presented with their time complexities discussed.
AbstractList	Finite Chu spaces are proposed for the modeling and verification of concurrent programs. In order to model not only typical concurrent behaviors but also modern exception handling and synchronization mechanisms, we design an enriched process algebra of Chu spaces from a practical point of view. To illustrate the power of finite Chu spaces and the process algebra while abstracting away from language-specific details, an imaginary concurrent programming language (ICL) is designed. A denotational semantics of ICL is presented using finite Chu spaces and the enriched process algebra. The valuation functions are fairly straightforward since the carefully designed operators have done much of the job. The enriched process algebra is also used as the specification language for Chu spaces, with which process-algebraic properties can be specified. Verification algorithms are presented with their time complexities discussed. Finite Chu spaces are proposed for the modeling and verification of concurrent programs.In order to model not only typical concurrent behaviors but also modern exception handling and synchronization mechanisms,we design an enriched process algebra of Chu spaces from a practical point of view.To illustrate the power of finite Chu spaces and the process algebra while abstracting away from language-specific details,an imaginary concurrent programming language（ICL） is designed.A denotational semantics of ICL is presented using finite Chu spaces and the enriched process algebra.The valuation functions are fairly straightforward since the carefully designed operators have done much of the job.The enriched process algebra is also used as the specification language for Chu spaces,with which process-algebraic properties can be specified.Verification algorithms are presented with their time complexities discussed. Finite Chu spaces are proposed for the modeling and verification of concurrent programs. In order to model not only typical concurrent behaviors but also modern exception handling and synchronization mechanisms, we design an enriched process algebra of Chu spaces from a practical point of view. To illustrate the power of finite Chu spaces and the process algebra while abstracting away from language-specific details, an imaginary concurrent programming language (ICL) is designed. A denotational semantics of ICL is presented using finite Chu spaces and the enriched process algebra. The valuation functions are fairly straightforward since the carefully designed operators have done much of the job. The enriched process algebra is also used as the specification language for Chu spaces, with which process-algebraic properties can be specified. Verification algorithms are presented with their time complexities discussed.[PUBLICATION ABSTRACT]
Author	杜旭涛邢春晓周立柱
AuthorAffiliation	Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China Research Institute of Information Technology, Tsinghua University, Beijing 100084, China
Author_xml	– sequence: 1 fullname: 杜旭涛邢春晓周立柱
BookMark	eNp9kE1LxDAQhoMoqKs_wFvx4qk6adKmOcriFygKflxDmk53s3aTNWmR_fdm2QXBg5dMXuZ9JpP3mOw775CQMwqXFEBcRUqZhBwo5JJJka_3yBGtK8i54HI_3QFSJx2H5DjGBQATwPkRuX7yLfbWzTLt2uwDg-3WGzX1zowhoBuyl-BnQS9j9m2HeXZrnR0wm87H7HWlDcYTctDpPuLprk7I--3N2_Q-f3y-e5heP-aGCT7kWkiDNUpRJCk6DlS2Fe2QdwVAa0A2EmteNlA3nIpGmFrQwuhWQFG3WDE2IRfbuavgv0aMg1raaLDvtUM_RiVByJLJskzO8z_OhR-DS8spWVS0prSqkoluTSb4GAN2ahXsUoe1oqA2kaptpCpFqjaRqnVixB_G2EEP1rshaNv_SxZbMqZX3AzD70r_Qbt_mLl3s6_EqUabz872qFhZ1UXFgf0An42XSg
CitedBy_id	crossref_primary_10_4018_jisss_2011100101
Cites_doi	10.1007/3-540-59293-8_190 10.1016/S0304-3975(01)00169-4 10.20965/jaciii.2001.p0149 10.1142/S021919890700131X 10.1109/MWSCAS.1999.867296 10.1007/BFb0064579 10.1109/LICS.1999.782619 10.1017/S0960129503004031 10.1007/978-3-540-73859-6_13 10.1007/BFb0026562 10.1109/FUZZY.2007.4295349 10.1016/j.datak.2007.06.010 10.1007/s10485-007-9111-6 10.1109/SFCS.1993.366881 10.1007/3-540-45694-5_3 10.1109/FCST.2009.90 10.1016/j.entcs.2008.04.068 10.1109/ECBS.2005.61 10.1109/FUZZY.2000.838662 10.1007/BFb0015256
ContentType	Journal Article
Copyright	Springer 2010 Springer 2010.
Copyright_xml	– notice: Springer 2010 – notice: Springer 2010.
DBID	2RA 92L CQIGP W92 ~WA AAYXX CITATION 3V. 7SC 7WY 7WZ 7XB 87Z 8AL 8FD 8FE 8FG 8FK 8FL ABJCF ABUWG AFKRA ARAPS AZQEC BENPR BEZIV BGLVJ CCPQU DWQXO FRNLG F~G GNUQQ HCIFZ JQ2 K60 K6~ K7- L.- L6V L7M L~C L~D M0C M0N M7S P5Z P62 PHGZM PHGZT PKEHL PQBIZ PQBZA PQEST PQGLB PQQKQ PQUKI PRINS PTHSS Q9U
DOI	10.1007/s11390-010-9397-y
DatabaseName	维普期刊资源整合服务平台中文科技期刊数据库-CALIS站点维普中文期刊数据库中文科技期刊数据库-工程技术中文科技期刊数据库- 镜像站点 CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ABI/INFORM Collection ABI/INFORM Global (PDF only) ProQuest Central (purchase pre-March 2016) ABI/INFORM Collection Computing Database (Alumni Edition) Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ABI/INFORM Collection (Alumni) Materials Science & Engineering Collection ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Central Business Premium Collection Technology collection ProQuest One Community College ProQuest Central Korea Business Premium Collection (Alumni) ABI/INFORM Global (Corporate) ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection ProQuest Business Collection (Alumni Edition) ProQuest Business Collection Computer Science Database ABI/INFORM Professional Advanced ProQuest Engineering Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional ABI/INFORM Global Computing Database Engineering Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Business ProQuest One Business (Alumni) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic ProQuest One Academic UKI Edition ProQuest Central China Engineering Collection ProQuest Central Basic
DatabaseTitle	CrossRef ABI/INFORM Global (Corporate) ProQuest Business Collection (Alumni Edition) ProQuest One Business Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Central China ABI/INFORM Complete ProQuest Central ABI/INFORM Professional Advanced ProQuest One Applied & Life Sciences ProQuest Engineering Collection ProQuest Central Korea ProQuest Central (New) Advanced Technologies Database with Aerospace ABI/INFORM Complete (Alumni Edition) Engineering Collection Advanced Technologies & Aerospace Collection Business Premium Collection ABI/INFORM Global ProQuest Computing Engineering Database ABI/INFORM Global (Alumni Edition) ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection ProQuest Business Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition Materials Science & Engineering Collection ProQuest One Business (Alumni) ProQuest One Academic ProQuest Central (Alumni) ProQuest One Academic (New) Business Premium Collection (Alumni)
DatabaseTitleList	Computer and Information Systems Abstracts ABI/INFORM Global (Corporate)
Database_xml	– sequence: 1 dbid: 8FG name: ProQuest Technology Collection url: https://search.proquest.com/technologycollection1 sourceTypes: Aggregation Database
DeliveryMethod	fulltext_linktorsrc
Discipline	Computer Science
DocumentTitleAlternate	Modeling and Verifying Concurrent Programs with Finite Chu Spaces
EISSN	1860-4749
EndPage	1183
ExternalDocumentID	2601959151 10_1007_s11390_010_9397_y 35682640
GroupedDBID	-4Z -59 -5G -BR -EM -Y2 -~C .86 .VR 06D 0R~ 0VY 1N0 1SB 2.D 28- 29K 2B. 2C0 2J2 2JN 2JY 2KG 2KM 2LR 2RA 2VQ 2~H 30V 3V. 4.4 406 408 409 40D 40E 5GY 5QI 5VR 5VS 67Z 6NX 7WY 8FE 8FG 8FL 8TC 8UJ 92H 92I 92L 92R 93N 95- 95. 95~ 96X AAAVM AABHQ AABYN AAFGU AAHNG AAIAL AAJKR AANZL AAOBN AARHV AARTL AATVU AAUYE AAWCG AAYIU AAYQN AAYTO ABBBX ABBXA ABDZT ABECU ABFGW ABFTD ABFTV ABHLI ABHQN ABJOX ABKAS ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABSXP ABTEG ABTHY ABTMW ABULA ABUWG ABXPI ACBMV ACBRV ACBXY ACGFS ACHSB ACHXU ACIGE ACIPQ ACKNC ACMDZ ACMLO ACOKC ACOMO ACSNA ACTTH ACVWB ACWMK ADGRI ADHHG ADHIR ADINQ ADKNI ADKPE ADMDM ADRFC ADTIX ADURQ ADYFF ADZKW AEBTG AEFIE AEFTE AEGAL AEGNC AEJHL AEJRE AEKMD AENEX AEOHA AEPYU AESTI AETLH AEVTX AEXYK AEYWE AFEXP AFGCZ AFKRA AFLOW AFQWF AFUIB AFWTZ AFZKB AGAYW AGDGC AGGBP AGGDS AGJBK AGMZJ AGQMX AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHSBF AHYZX AIAKS AIIXL AILAN AIMYW AITGF AJBLW AJDOV AJRNO ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMYLF AMYQR ARAPS ARMRJ ASPBG AVWKF AXYYD AZFZN AZQEC B-. BA0 BBWZM BDATZ BENPR BEZIV BGLVJ BGNMA BPHCQ CAG CCEZO CDYEO CHBEP COF CQIGP CS3 CSCUP CUBFJ CW9 D-I DNIVK DU5 DWQXO EBLON EBS EIOEI EJD ESBYG F5P FA0 FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRNLG FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNUQQ GNWQR GQ6 GQ7 GQ8 GROUPED_ABI_INFORM_COMPLETE GXS H13 HCIFZ HF~ HG6 HMJXF HQYDN HRMNR HVGLF HZ~ IAO IHE IJ- IPNFZ IXC IXD IXE IZIGR IZQ I~X I~Z J-C JBSCW JCJTX JZLTJ K60 K6V K6~ K7- KDC KOV LAK LLZTM M0C M0N M4Y MA- N2Q N95 NB0 NDZJH NF0 NQJWS NU0 O9- O93 O9G O9I O9J OAM P19 P2P P62 P9O PF0 PQBIZ PQEST PQQKQ PQUKI PRINS PROAC PT4 PT5 Q2X QOK QOS R4E R89 R9I RHV RNI RNS ROL RPX RSV RZK S16 S1Z S26 S27 S28 S3B SAP SCJ SCL SCLPG SCO SDH SDM SHX SISQX SJYHP SNE SNX SOJ SPISZ SRMVM SSLCW STPWE SZN T13 T16 TCJ TGT TSG TSK TSV TUC U2A UG4 UNUBA UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 W92 WK8 YLTOR Z7R Z7U Z7X Z81 Z83 Z88 Z8R Z8W Z92 ZMTXR ~A9 ~EX ~WA -SI -S~ 5XA 5XJ AACDK AAJBT AASML AATNV AAXDM AAYZH ABAKF ABJCF ABJNI ABQSL ABTKH ABWNU ACAOD ACDTI ACPIV ACZOJ ADTPH AEFQL AEMSY AESKC AEVLU AFBBN AGQEE AGRTI AIGIU AMXSW AOCGG BSONS CAJEI CCPQU DDRTE DPUIP IKXTQ IWAJR M7S NPVJJ PQBZA PTHSS Q-- SNPRN SOHCF U1G U5S AAPKM AAYXX ABBRH ABDBE ABFSG ACSTC ADHKG AEZWR AFDZB AFHIU AFOHR AGQPQ AHPBZ AHWEU AIXLP ATHPR AYFIA CITATION ICD IVC PHGZM PHGZT TGMPQ 7SC 7XB 8AL 8FD 8FK ABRTQ JQ2 L.- L6V L7M L~C L~D PKEHL PQGLB Q9U PUEGO
ID	FETCH-LOGICAL-c374t-a79ce8e9723747f4019d61fe4f200dc09b9e845b08b417b7c8712cad7028de633
IEDL.DBID	U2A
ISSN	1000-9000
IngestDate	Thu Sep 04 17:54:26 EDT 2025 Sat Aug 16 21:26:15 EDT 2025 Tue Jul 01 05:21:48 EDT 2025 Thu Apr 24 22:58:41 EDT 2025 Fri Feb 21 02:40:03 EST 2025 Thu Nov 24 20:30:26 EST 2022
IsPeerReviewed	true
IsScholarly	true
Issue	6
Keywords	process algebra Chu spaces verification denotational semantics concurrency
Language	English
License	http://www.springer.com/tdm
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c374t-a79ce8e9723747f4019d61fe4f200dc09b9e845b08b417b7c8712cad7028de633
Notes	11-2296/TP TP311 Chu spaces,process algebra,verification,denotational semantics,concurrency TU201 ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 ObjectType-Article-2 ObjectType-Feature-1 content type line 23
PQID	926181166
PQPubID	326258
PageCount	16
ParticipantIDs	proquest_miscellaneous_907953955 proquest_journals_926181166 crossref_primary_10_1007_s11390_010_9397_y crossref_citationtrail_10_1007_s11390_010_9397_y springer_journals_10_1007_s11390_010_9397_y chongqing_backfile_35682640
ProviderPackageCode	CITATION AAYXX
PublicationCentury	2000
PublicationDate	2010-11-01
PublicationDateYYYYMMDD	2010-11-01
PublicationDate_xml	– month: 11 year: 2010 text: 2010-11-01 day: 01
PublicationDecade	2010
PublicationPlace	Boston
PublicationPlace_xml	– name: Boston – name: Beijing
PublicationTitle	Journal of computer science and technology
PublicationTitleAbbrev	J. Comput. Sci. Technol
PublicationTitleAlternate	Journal of Computer Science and Technology
PublicationYear	2010
Publisher	Springer US Springer Nature B.V
Publisher_xml	– name: Springer US – name: Springer Nature B.V
References	Droste M, Zhang G Q. Bifinite Chu spaces. In Proc. the Second International Conference on Algebra and Coalgebra in Computer Science (CALCO 2007), Bergen, Norway, Aug. 20-24, 2007, pp.179–193. Abramsky S. Coalgebras, Chu spaces, and representations of physical systems. OUCL, Tech. Rep. RR-09-11, Oct. 2009. Nguyen H T, Kreinovich V, Wu B. Chu spaces — A new approach to diagnostic information fusion. In Proc. the 2nd International Conference on Information Fusion (FUSION1999), Sunnyvale, USA, July 6-8, 1999, pp.323–330. Vinh J, Bowen P C. Semantics of RTL and validation of synthesized RTL designs using formal verification in reconfigurable computing systems. In Proc. the 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS 2005), Greenbelt, USA, April 4-7, 2005, pp.247–254. Gupta V. Chu spaces: A model of concurrency [Ph.D. Dissertation]. Stanford University, Sept. 1994. Pratt V R. Chu Spaces and Their Interpretation as Concurrent Objects. Computer Science Today: Recent Trends and Developments, J van Leeuwen (ed.), Springer Berlin/Heidelberg, 1995, pp.392–405. Abramsky S. Big toy models: Representing physical systems as Chu spaces. OUCL, Tech. Rep. RR-09-08, Sept. 2009. Du X, Xing C, Zhou L. A Chu spaces semantics of control flow in BPEL. In Proc. 2009 Asia-Pacific Services Computing Conference (APSCC 2009), Singapore, Dec. 7-11, 2009, pp.142–149. Pratt V R. Chu spaces: Course notes for the school in category theory and applications. Coimbra, Portugal, July 1999, http://boole.stanford.edu/pub/coimbra.pdf. PrattVRChu spaces as a semantic bridge between linear logic and mathematicsTheor. Comput. Sci.200329434394711042.1800210.1016/S0304-3975(01)00169-41964757 de MedeirosAAvan der AalstWWeijtersAQuantifying process equivalence based on observed behaviorData & Knowledge Engineering2008641557410.1016/j.datak.2007.06.010 HuangFPDrosteMZhangGQA monoidal category of bifinite Chu spacesElectron. Notes Theor. Comput. Sci.200821228529710.1016/j.entcs.2008.04.068 Barr M. *-Autonomous categories. Lecture Notes in Mathematics, vol. 752, Springer-Verlag, 1979. Pratt V R. Rational mechanisms and natural mathematics. In Proc. the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT1995), Aarhus, Denmark, May 22-26, 1995, pp.108–122. NguyenNNguyenHTWuBKreinovichVChu spaces: Towards new foundations for fuzzy logic and fuzzy control, with applications to information flow on the world wide webJACIII200153149156 Kreinovich V, Liu G, Nguyen H. Chu spaces — A new approach to describing uncertainty in systems. In Proc. the 42nd Midwest Symposium on Circuits and Systems, Las Cruces, USA, Aug. 8-11, 1999, pp.427–430. Devarajan H, Hughes D J D, Plotkin G D, Pratt V R. Full completeness of the multiplicative linear logic of Chu spaces. In Proc. the 14th Annual IEEE Symposium on Logic in Computer Science (LICS 1999), Trento, Italy, July 2-5, 1999, pp.234–242. Ivanov L. Modeling non-iterated system behavior with Chu spaces. In Proc. the 2008 International Conference on Computer Design (CDES 2008), Las Vegas, USA, July 14-17, 2008, pp.145–150. Chen X, Li Q, Deng Z. Chu space and approximable concept lattice in fuzzy setting. In Proc. the 2007 IEEE International Conference on Fuzzy Systems (ICFS 2007), London, UK, July 23-26, 2007, pp.1–6. Sato K, Horiuchi T, Hiraoka T, Kawakami H, Katai O. Decision making process via constraint-oriented fuzzy logic based on Chu space theory. In Proc. the Ninth IEEE International Conference on Fuzzy Systems (FUZZ 2000), San Antonio, USA, May 7-10, 2000, pp.222–227. Gupta V, Pratt V R. Gates accept concurrent behavior. In Proc. the 34th Annual Symposium on Foundations of Computer Science (FOCS 1993), Palo Alto, USA, Nov. 3-5, 1993, pp.62–71. Wing J. Hints to specifiers. Educational Issues of Formal Methods, Hinchey M, Dean N (eds.), Ch. 5, London: Academic Press, 1996, pp.57–77. Chen X, Li Q, Deng Z. Formal topology, Chu space and approximable concept. In Proc. the International Workshop on Concept Lattices and Their Applications (CLA 2005), Olomouc, Czech, Sept. 7-9 2005, pp.158–165. Giuli E, Tholen W. A topologist’s view of Chu spaces. Electron. Notes Theor. Comput. Sci., 15(5/6): 573–598. Pratt V R. Event-state duality: The enriched case. In Proc. the 13th International Conference on Concurrency Theory (CONCUR 2002), Brno, Czech, Aug. 20-23, 2002, pp.41–56. PrattVRTransition and cancellation in concurrency and branching timeMath. Structures in Comp. Sci.20031344855291088.6813110.1017/S09601295030040312017539 Pratt V R. Time and information in sequential and concurrent computation. In Proc. the International Workshop on Theory and Practice of Parallel Programming (TPPP 1994), Sendai, Japan, Nov. 7-9, 1994, pp.1–24. VannucciSGame formats as Chu spacesInternational Game Theory Review (IGTR)2007911191381138.9136410.1142/S021919890700131X2341406 Du X, Xing C, Zhou L. A Chu spaces semantics of BPEL-like fault handling. In Proc. The 4th International Conference on Frontier of Computer Science and Technology (FCST 2009), Shanghai, China, Dec. 17-19, 2009, pp.317–323. Web services business process execution language version 2.0. OASIS Web Services Business Process Execution Language (WSBPEL) Technical Committee, April 2007, http://www.oasis-open.org/specs/index.php#wsbpel. AA Medeiros de (9397_CR30) 2008; 64 9397_CR20 9397_CR21 9397_CR22 9397_CR23 9397_CR25 9397_CR26 9397_CR27 9397_CR28 9397_CR29 S Vannucci (9397_CR7) 2007; 9 9397_CR6 9397_CR8 VR Pratt (9397_CR10) 2003; 294 VR Pratt (9397_CR24) 2003; 13 9397_CR1 9397_CR2 9397_CR3 9397_CR4 9397_CR11 9397_CR5 9397_CR12 9397_CR13 9397_CR14 9397_CR15 9397_CR17 9397_CR18 9397_CR19 N Nguyen (9397_CR16) 2001; 5 FP Huang (9397_CR9) 2008; 212
References_xml	– reference: PrattVRTransition and cancellation in concurrency and branching timeMath. Structures in Comp. Sci.20031344855291088.6813110.1017/S09601295030040312017539 – reference: Giuli E, Tholen W. A topologist’s view of Chu spaces. Electron. Notes Theor. Comput. Sci., 15(5/6): 573–598. – reference: Kreinovich V, Liu G, Nguyen H. Chu spaces — A new approach to describing uncertainty in systems. In Proc. the 42nd Midwest Symposium on Circuits and Systems, Las Cruces, USA, Aug. 8-11, 1999, pp.427–430. – reference: Sato K, Horiuchi T, Hiraoka T, Kawakami H, Katai O. Decision making process via constraint-oriented fuzzy logic based on Chu space theory. In Proc. the Ninth IEEE International Conference on Fuzzy Systems (FUZZ 2000), San Antonio, USA, May 7-10, 2000, pp.222–227. – reference: Du X, Xing C, Zhou L. A Chu spaces semantics of control flow in BPEL. In Proc. 2009 Asia-Pacific Services Computing Conference (APSCC 2009), Singapore, Dec. 7-11, 2009, pp.142–149. – reference: Vinh J, Bowen P C. Semantics of RTL and validation of synthesized RTL designs using formal verification in reconfigurable computing systems. In Proc. the 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS 2005), Greenbelt, USA, April 4-7, 2005, pp.247–254. – reference: VannucciSGame formats as Chu spacesInternational Game Theory Review (IGTR)2007911191381138.9136410.1142/S021919890700131X2341406 – reference: Abramsky S. Big toy models: Representing physical systems as Chu spaces. OUCL, Tech. Rep. RR-09-08, Sept. 2009. – reference: Pratt V R. Rational mechanisms and natural mathematics. In Proc. the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT1995), Aarhus, Denmark, May 22-26, 1995, pp.108–122. – reference: NguyenNNguyenHTWuBKreinovichVChu spaces: Towards new foundations for fuzzy logic and fuzzy control, with applications to information flow on the world wide webJACIII200153149156 – reference: Ivanov L. Modeling non-iterated system behavior with Chu spaces. In Proc. the 2008 International Conference on Computer Design (CDES 2008), Las Vegas, USA, July 14-17, 2008, pp.145–150. – reference: Pratt V R. Time and information in sequential and concurrent computation. In Proc. the International Workshop on Theory and Practice of Parallel Programming (TPPP 1994), Sendai, Japan, Nov. 7-9, 1994, pp.1–24. – reference: Wing J. Hints to specifiers. Educational Issues of Formal Methods, Hinchey M, Dean N (eds.), Ch. 5, London: Academic Press, 1996, pp.57–77. – reference: Pratt V R. Chu spaces: Course notes for the school in category theory and applications. Coimbra, Portugal, July 1999, http://boole.stanford.edu/pub/coimbra.pdf. – reference: PrattVRChu spaces as a semantic bridge between linear logic and mathematicsTheor. Comput. Sci.200329434394711042.1800210.1016/S0304-3975(01)00169-41964757 – reference: Pratt V R. Event-state duality: The enriched case. In Proc. the 13th International Conference on Concurrency Theory (CONCUR 2002), Brno, Czech, Aug. 20-23, 2002, pp.41–56. – reference: Web services business process execution language version 2.0. OASIS Web Services Business Process Execution Language (WSBPEL) Technical Committee, April 2007, http://www.oasis-open.org/specs/index.php#wsbpel. – reference: Chen X, Li Q, Deng Z. Chu space and approximable concept lattice in fuzzy setting. In Proc. the 2007 IEEE International Conference on Fuzzy Systems (ICFS 2007), London, UK, July 23-26, 2007, pp.1–6. – reference: Barr M. *-Autonomous categories. Lecture Notes in Mathematics, vol. 752, Springer-Verlag, 1979. – reference: Abramsky S. Coalgebras, Chu spaces, and representations of physical systems. OUCL, Tech. Rep. RR-09-11, Oct. 2009. – reference: HuangFPDrosteMZhangGQA monoidal category of bifinite Chu spacesElectron. Notes Theor. Comput. Sci.200821228529710.1016/j.entcs.2008.04.068 – reference: Gupta V, Pratt V R. Gates accept concurrent behavior. In Proc. the 34th Annual Symposium on Foundations of Computer Science (FOCS 1993), Palo Alto, USA, Nov. 3-5, 1993, pp.62–71. – reference: Chen X, Li Q, Deng Z. Formal topology, Chu space and approximable concept. In Proc. the International Workshop on Concept Lattices and Their Applications (CLA 2005), Olomouc, Czech, Sept. 7-9 2005, pp.158–165. – reference: Gupta V. Chu spaces: A model of concurrency [Ph.D. Dissertation]. Stanford University, Sept. 1994. – reference: Pratt V R. Chu Spaces and Their Interpretation as Concurrent Objects. Computer Science Today: Recent Trends and Developments, J van Leeuwen (ed.), Springer Berlin/Heidelberg, 1995, pp.392–405. – reference: Nguyen H T, Kreinovich V, Wu B. Chu spaces — A new approach to diagnostic information fusion. In Proc. the 2nd International Conference on Information Fusion (FUSION1999), Sunnyvale, USA, July 6-8, 1999, pp.323–330. – reference: Devarajan H, Hughes D J D, Plotkin G D, Pratt V R. Full completeness of the multiplicative linear logic of Chu spaces. In Proc. the 14th Annual IEEE Symposium on Logic in Computer Science (LICS 1999), Trento, Italy, July 2-5, 1999, pp.234–242. – reference: de MedeirosAAvan der AalstWWeijtersAQuantifying process equivalence based on observed behaviorData & Knowledge Engineering2008641557410.1016/j.datak.2007.06.010 – reference: Droste M, Zhang G Q. Bifinite Chu spaces. In Proc. the Second International Conference on Algebra and Coalgebra in Computer Science (CALCO 2007), Bergen, Norway, Aug. 20-24, 2007, pp.179–193. – reference: Du X, Xing C, Zhou L. A Chu spaces semantics of BPEL-like fault handling. In Proc. The 4th International Conference on Frontier of Computer Science and Technology (FCST 2009), Shanghai, China, Dec. 17-19, 2009, pp.317–323. – ident: 9397_CR5 doi: 10.1007/3-540-59293-8_190 – volume: 294 start-page: 439 issue: 3 year: 2003 ident: 9397_CR10 publication-title: Theor. Comput. Sci. doi: 10.1016/S0304-3975(01)00169-4 – ident: 9397_CR15 – volume: 5 start-page: 149 issue: 3 year: 2001 ident: 9397_CR16 publication-title: JACIII doi: 10.20965/jaciii.2001.p0149 – volume: 9 start-page: 119 issue: 1 year: 2007 ident: 9397_CR7 publication-title: International Game Theory Review (IGTR) doi: 10.1142/S021919890700131X – ident: 9397_CR19 – ident: 9397_CR17 doi: 10.1109/MWSCAS.1999.867296 – ident: 9397_CR1 doi: 10.1007/BFb0064579 – ident: 9397_CR26 – ident: 9397_CR12 doi: 10.1109/LICS.1999.782619 – volume: 13 start-page: 485 issue: 4 year: 2003 ident: 9397_CR24 publication-title: Math. Structures in Comp. Sci. doi: 10.1017/S0960129503004031 – ident: 9397_CR6 – ident: 9397_CR8 doi: 10.1007/978-3-540-73859-6_13 – ident: 9397_CR3 doi: 10.1007/BFb0026562 – ident: 9397_CR18 doi: 10.1109/FUZZY.2007.4295349 – volume: 64 start-page: 55 issue: 1 year: 2008 ident: 9397_CR30 publication-title: Data & Knowledge Engineering doi: 10.1016/j.datak.2007.06.010 – ident: 9397_CR13 doi: 10.1007/s10485-007-9111-6 – ident: 9397_CR14 – ident: 9397_CR20 – ident: 9397_CR2 doi: 10.1109/SFCS.1993.366881 – ident: 9397_CR11 doi: 10.1007/3-540-45694-5_3 – ident: 9397_CR28 doi: 10.1109/FCST.2009.90 – ident: 9397_CR29 – volume: 212 start-page: 285 year: 2008 ident: 9397_CR9 publication-title: Electron. Notes Theor. Comput. Sci. doi: 10.1016/j.entcs.2008.04.068 – ident: 9397_CR27 – ident: 9397_CR25 – ident: 9397_CR22 doi: 10.1109/ECBS.2005.61 – ident: 9397_CR21 doi: 10.1109/FUZZY.2000.838662 – ident: 9397_CR23 – ident: 9397_CR4 doi: 10.1007/BFb0015256
SSID	ssj0037044
Score	1.8407863
Snippet	Finite Chu spaces are proposed for the modeling and verification of concurrent programs.In order to model not only typical concurrent behaviors but also modern... Finite Chu spaces are proposed for the modeling and verification of concurrent programs. In order to model not only typical concurrent behaviors but also...
SourceID	proquest crossref springer chongqing
SourceType	Aggregation Database Enrichment Source Index Database Publisher
StartPage	1168
SubjectTerms	Algebra Algorithms Artificial Intelligence Behavior Computer Science Data Structures and Information Theory Design Enrichment Exception handling Information Systems Applications (incl.Internet) Mathematical analysis Mathematical models Program verification (computers) Programming languages R&D Regular Paper Research & development Semantics Software Software Engineering Specifications Theory of Computation 同步机制并发程序并行编程语言异常处理有限空间进程代数验证算法
SummonAdditionalLinks	– databaseName: ProQuest Central dbid: BENPR link: http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV1LT-MwEB6V9sKFxz5E6IJ84LQra5ON7diH1QoqqgqpCO0C4hYltgNoV0lZ2gP_npk0bgUSnO3E0tjj-cbz-ACOEo8wRDnDC600F1QDrNFMcSFlaQqFbpGniO70XE2uxNmNvOnBNNTCUFpluBPbi9o1lt7IvxuE-jpJlPo1e-BEGkXB1cCgUXTMCu5n22FsAwZ4I8u4D4OT0_OL3-FqTrO4ZXelN21ObJkhzNnW0iEWohwtHEEbzZ-o2cJdU98-oAl5abTWSPRV8LS1SeMd2OrAJDte7v4u9Hz9AbYDUQPr9PYjHBPjGdWds6J27BoPXVvdxEZNbZf9mdjFMk_rkdHDLBvfExRlo7sF-zOjpK1PcDU-vRxNeMedwG2aiTkvMmO99sQphg5DhV6UcSqpvKhQLZyNTWm8FrKMdSmSrMwsOk4_bOEyxBvOqzT9DP26qf0eMCGq0qrC4BQrJGq8iUWlLVp-bVwpsgiGK0Gh7bV_qaNUnkqFnouII4iD6HLbtR0n9ot_-bphMkk-R8nnJPn8KYKvq09my54b700ehv3IO_V7zFeHJQK2GkW9oWBIUftmgVPizMjUSBnBt7CL6x-8udz-u8sNYbPNLmhrFb9Af_5_4Q8QtMzLw-4oPgPzdeXJ priority: 102 providerName: ProQuest
Title	Modeling and Verifying Concurrent Programs with Finite Chu Spaces
URI	http://lib.cqvip.com/qk/85226X/20106/35682640.html https://link.springer.com/article/10.1007/s11390-010-9397-y https://www.proquest.com/docview/926181166 https://www.proquest.com/docview/907953955
Volume	25
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
link	http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LT8MwDLZ4XLjwRpTBlAMnUKSWJmlyHNMGAoEQMASnqk1ThkAdsO3Av8fu2k0gQOLUQ91EcuzYrh8fwH7g0A1RmeGJVpoL6gHWaKa4kDI1icKwyFFG9-JSnfbE2b28r_q4h3W1e52SLG_qWbMbOitUROVzg0aUf8zDoqRxUijEvaNWff2GkV8iuNJ_a06ImHUq86claKBCf1A8vuF2Xw3TzNv8liAt7U53FZYrh5G1Jie8BnOuWIeVGoyBVbq5AS1CNaPecpYUGbtDwSo7mFh7UNjJDCZ2NanFGjL6-cq6T-RusnZ_zG5eqTBrE3rdzm37lFf4CNyGkRjxJDLWaUe4YRgU5BgpmUwFuRM5in5mfZMap4VMfZ2KIEoji8HRkU2yCH2KzKkw3IKFYlC4bWBC5KlViUESKyRqtfFFri1ad22yVEQeNKaMQvtqn2lqVBxKhdGJ8D3wa9bFthotTggXL_FsKDJxPkbOx8T5-MODg-knr5O5Gn8RN-rziCsVG8YGYz8dBEp5wKZvUTco4ZEUbjBGEj8yMjRSenBYn-JsgV-32_kXdQOWyoqCsj9xFxZG72O3h47KKG3CvO6eNGGxdfJw3sHncefy6rpZiusn8QDg1g
linkProvider	Springer Nature
linkToHtml	http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3Nb9MwFH-augNcGJ8iFIYPcAFZJK3t2IcJbWVVx7Zqgg3tZhLHYdOmpKOtUP84_jfeS-NWILHbznES6fnZ7_c-fwBvEo8wRBWGZ1ppLqgHWKOZ4kLK3GQK3SJPGd3jsRqdic_n8nwDfodeGCqrDHdic1EXtaMY-QeDUF8niVIfJzecSKMouRoYNLKWWaHYaSaMtX0dh37xCz246c7BJ9zut73ecP90MOItyQB3_VTMeJYa57Un8i1E1iW6G6ZQSelFifpTuNjkxmsh81jnIknz1KGH0XNZkaJhLryieChagE1B8ZMObO7tj0--BFPQT-OGTZZi6JzYOUNatendQ-xFNWH4BDEBX9Bwh4u6-nGDJutvI7lGvv8kaxsbOHwID1rwynaX2vYINnz1GLYCMQRr74knsEsMa9TnzrKqYN9QyZtuKjaoK7ecB8VOlnVhU0aBYDa8JOjLBhdz9nVCRWJP4exOxPgMOlVd-efAhChzpzKDS5yQeMOYWJTaIdLQpshFGkF3JSi09e6KJljZvlToKYk4gjiIzrp2zDmxbVzb9YBmkrxFyVuSvF1E8G71ymQ54-O2xd2wH7Y97lO7Us4I2OopnlNKvmSVr-e4JE6N7BspI3gfdnH9gf_-7sWtv3sN90anx0f26GB82IX7TWVD0yf5Ejqzn3P_CgHTLN9u1ZLB97s-CX8AmMsh6w
linkToPdf	http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1Lb9QwEB7BVkJcKE8RlocPnEBuk8Z27ONq6VIoVJWgqJxM7DgUFWUXNnsov56ZJN4VFSAhzpnYicfjmfE8PoCnWUAzRFWGl1ppLqgGWKOa4kJKZ0qFblGgiO7bI3VwIl6fytMB53QZs91jSLKvaaAuTU27u6jq3U3hGxoulFCVcoMKlV9chS1BEBIj2Jq8_Hi4Hw_jvEg7PFe6xeaEjxkDm78bhNornM2bz99w8l_V1Mb2vBQu7bTQbBs-xe_vk0_Od1at2_E_LrV2_I8fvAk3BguVTfotdQuuhOY2bEf0BzYcBndgQjBqVMzOyqZiH3AndyVTbDpvfN_0iR33yV9LRre9bPaF7Fs2PVuxdwvKBLsLJ7P999MDPgAycJ8XouVlYXzQgYDK0Aup0TUzlcrqIGqUtcqnxpmghXSpdiIrXOHRG9vzZVWgEVMFlef3YNTMm3AfmBC186o0SOKFxGPEpKLWHs0JbSonigTGa16gQvfn1KbK5lKhOyTSBNLIHeuHXuYEqfHVbrow0wJaXEBLC2gvEni2fmXRN_L4G_E4stwOMr20Bp1NnWVKJcDWT1EYKcJSNmG-QpK0MDI3UibwPPJ4M8Afp3vwT9RP4Nrxi5l98-rocAzXu2yGrjbyIYza76vwCI2k1j0eBOEniiIFow
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Modeling+and+Verifying+Concurrent+Programs+with+Finite+Chu+Spaces&rft.jtitle=Journal+of+computer+science+and+technology&rft.au=%E6%9D%9C%E6%97%AD%E6%B6%9B+%E9%82%A2%E6%98%A5%E6%99%93+%E5%91%A8%E7%AB%8B%E6%9F%B1&rft.date=2010-11-01&rft.issn=1000-9000&rft.eissn=1860-4749&rft.issue=6&rft.spage=1168&rft.epage=1183&rft_id=info:doi/10.1007%2Fs11390-010-9397-y&rft.externalDocID=35682640
thumbnail_s	http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=http%3A%2F%2Fimage.cqvip.com%2Fvip1000%2Fqk%2F85226X%2F85226X.jpg