@prefix owl:	<http://www.w3.org/2002/07/owl#> .
@prefix dbpedia-wikidata:	<http://wikidata.dbpedia.org/resource/> .
@prefix dbpedia-ja:	<http://ja.dbpedia.org/resource/> .
dbpedia-wikidata:Q1120460	owl:sameAs	dbpedia-ja:Communicating_Sequential_Processes .
@prefix dbo:	<http://dbpedia.org/ontology/> .
dbpedia-ja:CSP	dbo:wikiPageWikiLink	dbpedia-ja:Communicating_Sequential_Processes ;
	dbo:wikiPageDisambiguates	dbpedia-ja:Communicating_Sequential_Processes .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia-ja:Communicating_Sequential_Processes	rdfs:label	"Communicating Sequential Processes"@ja ;
	rdfs:comment	"Communicating Sequential Processes\uFF08CSP\uFF09\u3068\u306F\u3001\u4E26\u884C\u6027\u306B\u95A2\u3059\u308B\u30D7\u30ED\u30BB\u30B9\u8A08\u7B97\u306E\u7406\u8AD6\u306E\u3072\u3068\u3064\u3067\u3042\u308B\u3002\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9EOccam\u306B\u3082\u5F71\u97FF\u3092\u4E0E\u3048\u305F\u3002 CSP\u306F1978\u5E74\u3001\u30A2\u30F3\u30C8\u30CB\u30FC\u30FB\u30DB\u30FC\u30A2\u304C\u6700\u521D\u306B\u8003\u6848\u3057\u3001\u305D\u306E\u5F8C\u304B\u306A\u308A\u6539\u826F\u3055\u308C\u3066\u3044\u3063\u305F\u3002CSP\u306F\u69D8\u3005\u306A\u30B7\u30B9\u30C6\u30E0\u306B\u304A\u3051\u308B\u4E26\u884C\u6027\u3092\u8A18\u8FF0\u3057\u691C\u8A3C\u3059\u308B\u3001\u5F62\u5F0F\u4ED5\u69D8\u8A18\u8FF0\u30C4\u30FC\u30EB\u3068\u3057\u3066\u7523\u696D\u3067\u5229\u7528\u3055\u308C\u3066\u304D\u305F\u3002\u305F\u3068\u3048\u3070\u3001T9000\u30C8\u30E9\u30F3\u30B9\u30D4\u30E5\u30FC\u30BF\u3084\u30BB\u30AD\u30E5\u30A2\u306A\u96FB\u5B50\u5546\u53D6\u5F15\u30B7\u30B9\u30C6\u30E0\u306A\u3069\u306E\u4F8B\u304C\u3042\u308B\u3002\u7406\u8AD6\u3068\u3057\u3066\u3082\u3001\u5FDC\u7528\u7BC4\u56F2\u3092\u5E83\u3052\u308B\uFF08\u3088\u308A\u5927\u898F\u6A21\u306A\u30B7\u30B9\u30C6\u30E0\u306E\u89E3\u6790\u306B\u4F7F\u3048\u308B\u3088\u3046\u306B\u3059\u308B\uFF09\u306A\u3069\u306E\u7814\u7A76\u304C\u884C\u308F\u308C\u3066\u3044\u308B\u3002"@ja ;
	owl:sameAs	<http://rdf.freebase.com/ns/m.01ksbf> .
@prefix dct:	<http://purl.org/dc/terms/> .
dbpedia-ja:Communicating_Sequential_Processes	dct:subject	<http://ja.dbpedia.org/resource/Category:\u8A08\u7B97\u30E2\u30C7\u30EB> ,
		<http://ja.dbpedia.org/resource/Category:\u9577\u5927\u306A\u9805\u76EE\u540D> ,
		<http://ja.dbpedia.org/resource/Category:\u4E26\u884C\u6027> ,
		<http://ja.dbpedia.org/resource/Category:\u5F62\u5F0F\u624B\u6CD5> ;
	dbo:wikiPageID	1426970 ;
	dbo:wikiPageRevisionID	91923592 ;
	dbo:wikiPageWikiLink	<http://ja.dbpedia.org/resource/\u8868\u793A\u7684\u610F\u5473\u8AD6> ,
		<http://ja.dbpedia.org/resource/\u7121\u5236\u9650\u306E\u975E\u6C7A\u5B9A\u6027> ,
		<http://ja.dbpedia.org/resource/\u56FD\u969B\u5B87\u5B99\u30B9\u30C6\u30FC\u30B7\u30E7\u30F3> ,
		<http://ja.dbpedia.org/resource/Z\u8A00\u8A9E> ,
		<http://ja.dbpedia.org/resource/\u30D7\u30ED\u30BB\u30B9\u8A08\u7B97> ,
		<http://ja.dbpedia.org/resource/1978\u5E74> ,
		<http://ja.dbpedia.org/resource/\u95A2\u6570\u578B\u8A00\u8A9E> ,
		<http://ja.dbpedia.org/resource/Category:\u8A08\u7B97\u30E2\u30C7\u30EB> ,
		dbpedia-ja:Common_Algebraic_Specification_Language ,
		<http://ja.dbpedia.org/resource/\u30A4\u30F3\u30BF\u30FC\u30EA\u30FC\u30D6> ,
		<http://ja.dbpedia.org/resource/\u30A2\u30F3\u30C8\u30CB\u30FC\u30FB\u30DB\u30FC\u30A2> ,
		<http://ja.dbpedia.org/resource/\u4E26\u884C\u6027> ,
		<http://ja.dbpedia.org/resource/\u30ED\u30D3\u30F3\u30FB\u30DF\u30EB\u30CA\u30FC> ,
		dbpedia-ja:Occam ,
		<http://ja.dbpedia.org/resource/Category:\u5F62\u5F0F\u624B\u6CD5> ,
		<http://ja.dbpedia.org/resource/\u30E2\u30C7\u30EB\u691C\u67FB> ,
		dbpedia-ja:Common_Lisp ,
		<http://ja.dbpedia.org/resource/\u30E1\u30C3\u30BB\u30FC\u30B8_(\u30B3\u30F3\u30D4\u30E5\u30FC\u30BF)> ,
		dbpedia-ja:Plan_9_from_Bell_Labs ,
		<http://ja.dbpedia.org/resource/\u30C7\u30C3\u30C9\u30ED\u30C3\u30AF> ,
		<http://ja.dbpedia.org/resource/\u64CD\u4F5C\u7684\u610F\u5473\u8AD6> ,
		<http://ja.dbpedia.org/resource/\u8A08\u7B97\u6A5F\u79D1\u5B66> ,
		<http://ja.dbpedia.org/resource/\u30D7\u30ED\u30B0\u30E9\u30E0\u610F\u5473\u8AD6> ,
		<http://ja.dbpedia.org/resource/Category:\u9577\u5927\u306A\u9805\u76EE\u540D> ,
		<http://ja.dbpedia.org/resource/\u30C8\u30E9\u30F3\u30B9\u30D4\u30E5\u30FC\u30BF> ,
		<http://ja.dbpedia.org/resource/\u4EE3\u6570\u7684\u610F\u5473\u8AD6> ,
		<http://ja.dbpedia.org/resource/Category:\u4E26\u884C\u6027> ,
		<http://ja.dbpedia.org/resource/\u5F62\u5F0F\u4ED5\u69D8\u8A18\u8FF0> ,
		<http://ja.dbpedia.org/resource/\u30B9\u30FC\u30D1\u30FC\u30B9\u30B1\u30FC\u30E9> ,
		<http://ja.dbpedia.org/resource/Inferno_(\u30AA\u30DA\u30EC\u30FC\u30C6\u30A3\u30F3\u30B0\u30B7\u30B9\u30C6\u30E0)> ,
		<http://ja.dbpedia.org/resource/C\u8A00\u8A9E> ,
		<http://ja.dbpedia.org/resource/C++> ,
		<http://ja.dbpedia.org/resource/\u540C\u671F_(\u8A08\u7B97\u6A5F\u79D1\u5B66)> ,
		dbpedia-ja:Verilog ,
		dbpedia-ja:Java ,
		<http://ja.dbpedia.org/resource/Limbo_(\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E)> ;
	dbo:wikiPageExternalLink	<http://www.cs.swan.ac.uk/~csmarkus/Papers/cspcasl.ps> .
@prefix ns6:	<https://doi.org/10.1007/> .
dbpedia-ja:Communicating_Sequential_Processes	dbo:wikiPageExternalLink	ns6:BF01178564 .
@prefix ns7:	<http://www.cliki.net/> .
dbpedia-ja:Communicating_Sequential_Processes	dbo:wikiPageExternalLink	ns7:csp ,
		<http://citeseer.comp.nus.edu.sg/61363.html> ,
		<http://www.cs.york.ac.uk/circus/> ,
		<http://www.fsel.com/> ,
		<http://www.ce.utwente.nl/javapp/Default.htm> ,
		<http://www.axon7.com/> ,
		<http://www.cppcsp.net/> ,
		<http://www.comp.nus.edu.sg/~dongjs/tcoz.html> ,
		<http://citeseer.ist.psu.edu/articles.html> ,
		<http://www.uoguelph.ca/%7Egardnerw/csp++/index.html> ,
		<http://www.wotug.org/> ,
		<http://jungfrau.usc.edu/new/research/current/verilogcsp/index.html> ,
		<http://www.cs.cmu.edu/afs/cs/project/able/www/wright/> ,
		<http://www.cs.kent.ac.uk/projects/ofa/jcsp/> .
@prefix prop-ja:	<http://ja.dbpedia.org/property/> .
@prefix template-ja:	<http://ja.dbpedia.org/resource/Template:> .
dbpedia-ja:Communicating_Sequential_Processes	prop-ja:wikiPageUsesTemplate	template-ja:Reflist ,
		<http://ja.dbpedia.org/resource/Template:\u7BC0\u30B9\u30BF\u30D6> ,
		<http://ja.dbpedia.org/resource/Template:\u4EEE\u30EA\u30F3\u30AF> ;
	dbo:abstract	"Communicating Sequential Processes\uFF08CSP\uFF09\u3068\u306F\u3001\u4E26\u884C\u6027\u306B\u95A2\u3059\u308B\u30D7\u30ED\u30BB\u30B9\u8A08\u7B97\u306E\u7406\u8AD6\u306E\u3072\u3068\u3064\u3067\u3042\u308B\u3002\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9EOccam\u306B\u3082\u5F71\u97FF\u3092\u4E0E\u3048\u305F\u3002 CSP\u306F1978\u5E74\u3001\u30A2\u30F3\u30C8\u30CB\u30FC\u30FB\u30DB\u30FC\u30A2\u304C\u6700\u521D\u306B\u8003\u6848\u3057\u3001\u305D\u306E\u5F8C\u304B\u306A\u308A\u6539\u826F\u3055\u308C\u3066\u3044\u3063\u305F\u3002CSP\u306F\u69D8\u3005\u306A\u30B7\u30B9\u30C6\u30E0\u306B\u304A\u3051\u308B\u4E26\u884C\u6027\u3092\u8A18\u8FF0\u3057\u691C\u8A3C\u3059\u308B\u3001\u5F62\u5F0F\u4ED5\u69D8\u8A18\u8FF0\u30C4\u30FC\u30EB\u3068\u3057\u3066\u7523\u696D\u3067\u5229\u7528\u3055\u308C\u3066\u304D\u305F\u3002\u305F\u3068\u3048\u3070\u3001T9000\u30C8\u30E9\u30F3\u30B9\u30D4\u30E5\u30FC\u30BF\u3084\u30BB\u30AD\u30E5\u30A2\u306A\u96FB\u5B50\u5546\u53D6\u5F15\u30B7\u30B9\u30C6\u30E0\u306A\u3069\u306E\u4F8B\u304C\u3042\u308B\u3002\u7406\u8AD6\u3068\u3057\u3066\u3082\u3001\u5FDC\u7528\u7BC4\u56F2\u3092\u5E83\u3052\u308B\uFF08\u3088\u308A\u5927\u898F\u6A21\u306A\u30B7\u30B9\u30C6\u30E0\u306E\u89E3\u6790\u306B\u4F7F\u3048\u308B\u3088\u3046\u306B\u3059\u308B\uFF09\u306A\u3069\u306E\u7814\u7A76\u304C\u884C\u308F\u308C\u3066\u3044\u308B\u3002"@ja .
@prefix xsd:	<http://www.w3.org/2001/XMLSchema#> .
dbpedia-ja:Communicating_Sequential_Processes	dbo:wikiPageLength	"16586"^^xsd:nonNegativeInteger .
@prefix prov:	<http://www.w3.org/ns/prov#> .
dbpedia-ja:Communicating_Sequential_Processes	prov:wasDerivedFrom	<http://ja.wikipedia.org/wiki/Communicating_Sequential_Processes?oldid=91923592&ns=0> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix wikipedia-ja:	<http://ja.wikipedia.org/wiki/> .
dbpedia-ja:Communicating_Sequential_Processes	foaf:isPrimaryTopicOf	wikipedia-ja:Communicating_Sequential_Processes .
<http://ja.dbpedia.org/resource/Crystal_(\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E)>	dbo:wikiPageWikiLink	dbpedia-ja:Communicating_Sequential_Processes .
<http://ja.dbpedia.org/resource/Go_(\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E)>	dbo:wikiPageWikiLink	dbpedia-ja:Communicating_Sequential_Processes .
<http://ja.dbpedia.org/resource/Limbo_(\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E)>	dbo:wikiPageWikiLink	dbpedia-ja:Communicating_Sequential_Processes .
dbpedia-ja:Occam	dbo:wikiPageWikiLink	dbpedia-ja:Communicating_Sequential_Processes .
<http://ja.dbpedia.org/resource/PL/0>	dbo:wikiPageWikiLink	dbpedia-ja:Communicating_Sequential_Processes .
dbpedia-ja:SFL	dbo:wikiPageWikiLink	dbpedia-ja:Communicating_Sequential_Processes .
<http://ja.dbpedia.org/resource/\u30A2\u30F3\u30C8\u30CB\u30FC\u30FB\u30DB\u30FC\u30A2>	dbo:wikiPageWikiLink	dbpedia-ja:Communicating_Sequential_Processes ;
	prop-ja:knownFor	dbpedia-ja:Communicating_Sequential_Processes .
<http://ja.dbpedia.org/resource/\u30C8\u30E9\u30F3\u30B9\u30D4\u30E5\u30FC\u30BF>	dbo:wikiPageWikiLink	dbpedia-ja:Communicating_Sequential_Processes .
<http://ja.dbpedia.org/resource/\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0\u8A00\u8A9E\u306E\u6BD4\u8F03>	dbo:wikiPageWikiLink	dbpedia-ja:Communicating_Sequential_Processes .
<http://ja.dbpedia.org/resource/\u30D7\u30ED\u30BB\u30B9\u8A08\u7B97>	dbo:wikiPageWikiLink	dbpedia-ja:Communicating_Sequential_Processes .
<http://ja.dbpedia.org/resource/\u30D7\u30ED\u30BB\u30B9\u9593\u901A\u4FE1>	dbo:wikiPageWikiLink	dbpedia-ja:Communicating_Sequential_Processes .
<http://ja.dbpedia.org/resource/\u30DB\u30FC\u30A2\u8AD6\u7406>	dbo:wikiPageWikiLink	dbpedia-ja:Communicating_Sequential_Processes .
<http://ja.dbpedia.org/resource/\u30DE\u30FC\u30C8\u30F3\u30FB\u30AB\u30EC\u30C3\u30B8_(\u30AA\u30C3\u30AF\u30B9\u30D5\u30A9\u30FC\u30C9\u5927\u5B66)>	dbo:wikiPageWikiLink	dbpedia-ja:Communicating_Sequential_Processes .
<http://ja.dbpedia.org/resource/\u30E9\u30E0\u30C0\u8A08\u7B97>	dbo:wikiPageWikiLink	dbpedia-ja:Communicating_Sequential_Processes .
<http://ja.dbpedia.org/resource/\u4E26\u5217\u8A08\u7B97>	dbo:wikiPageWikiLink	dbpedia-ja:Communicating_Sequential_Processes .
<http://ja.dbpedia.org/resource/\u4E26\u884C\u6027>	dbo:wikiPageWikiLink	dbpedia-ja:Communicating_Sequential_Processes .
<http://ja.dbpedia.org/resource/\u4E26\u884C\u8A08\u7B97>	dbo:wikiPageWikiLink	dbpedia-ja:Communicating_Sequential_Processes .
<http://ja.dbpedia.org/resource/\u4E26\u884C\u8AD6\u7406\u30D7\u30ED\u30B0\u30E9\u30DF\u30F3\u30B0>	dbo:wikiPageWikiLink	dbpedia-ja:Communicating_Sequential_Processes .
<http://ja.dbpedia.org/resource/\u5F62\u5F0F\u624B\u6CD5>	dbo:wikiPageWikiLink	dbpedia-ja:Communicating_Sequential_Processes .
<http://ja.dbpedia.org/resource/\u8868\u793A\u7684\u610F\u5473\u8AD6>	dbo:wikiPageWikiLink	dbpedia-ja:Communicating_Sequential_Processes .
dbpedia-ja:Communicating_Sequential_Process	dbo:wikiPageWikiLink	dbpedia-ja:Communicating_Sequential_Processes ;
	dbo:wikiPageRedirects	dbpedia-ja:Communicating_Sequential_Processes .
wikipedia-ja:Communicating_Sequential_Processes	foaf:primaryTopic	dbpedia-ja:Communicating_Sequential_Processes .
@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
<http://ja.dbpedia.org/data/Communicating_Sequential_Processes.ntriples>	rdf:type	foaf:Document ;
	foaf:primaryTopic	dbpedia-ja:Communicating_Sequential_Processes .