{"id":"https://openalex.org/W2139601508","doi":null,"title":"Specifying and Checking Java using CSP","display_name":"Specifying and Checking Java using CSP","publication_year":2002,"publication_date":"2002-01-01","ids":{"openalex":"https://openalex.org/W2139601508","mag":"2139601508"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.109.1873","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.1873","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.ru.nl/ftfjp/2002/MichaelMoeller.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103423226","display_name":"Michael M\u00f6ller","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I129877168","display_name":"Carl von Ossietzky Universit\u00e4t Oldenburg","ror":"https://ror.org/033n9gh91","country_code":"DE","type":"education","lineage":["https://openalex.org/I129877168"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Michael M\u00f6ller","raw_affiliation_strings":["University of Oldenburg"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oldenburg","institution_ids":["https://openalex.org/I129877168"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5103423226"],"corresponding_institution_ids":["https://openalex.org/I129877168"],"apc_list":null,"apc_paid":null,"fwci":1.6603,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.858109,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":96},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.6234999895095825,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.6234999895095825,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.35989999771118164,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.014000000432133675,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.6990000009536743},{"id":"https://openalex.org/keywords/communicating-sequential-processes","display_name":"Communicating Sequential Processes","score":0.9549999833106995},{"id":"https://openalex.org/keywords/run-time-checks","display_name":"run-time checks","score":0.8840000033378601},{"id":"https://openalex.org/keywords/trace-semantics","display_name":"trace semantics","score":0.6940000057220459},{"id":"https://openalex.org/keywords/dynamic-behavior","display_name":"dynamic behavior","score":0.6290000081062317},{"id":"https://openalex.org/keywords/program-specification","display_name":"program specification","score":0.531000018119812}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8614606261253357},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.8140246868133545},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.7171362638473511},{"id":"https://openalex.org/C60945770","wikidata":"https://www.wikidata.org/wiki/Q2517517","display_name":"Java Modeling Language","level":5,"score":0.6596529483795166},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.6030206084251404},{"id":"https://openalex.org/C172482141","wikidata":"https://www.wikidata.org/wiki/Q379273","display_name":"Generics in Java","level":5,"score":0.5995684862136841},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.5983610153198242},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.5537796020507812},{"id":"https://openalex.org/C181907185","wikidata":"https://www.wikidata.org/wiki/Q1100098","display_name":"Java concurrency","level":4,"score":0.4967678189277649},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4907878339290619},{"id":"https://openalex.org/C174954855","wikidata":"https://www.wikidata.org/wiki/Q7623626","display_name":"strictfp","level":4,"score":0.4835805296897888},{"id":"https://openalex.org/C76782552","wikidata":"https://www.wikidata.org/wiki/Q110546","display_name":"Just-in-time compilation","level":3,"score":0.47444140911102295},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4218781292438507},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.109.1873","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.1873","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.ru.nl/ftfjp/2002/MichaelMoeller.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.18.4064","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.4064","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://semantik.informatik.uni-oldenburg.de/pub/Papers/mm02.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.18.7889","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.7889","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://semantik.informatik.uni-oldenburg.de/pub/Papers/csp4j.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.68.6106","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.6106","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://semantik.informatik.uni-oldenburg.de/pub/Papers/csp4j.pdf","raw_type":"text"},{"id":"mag:2139601508","doi":null,"is_oa":false,"landing_page_url":"http://csd.informatik.uni-oldenburg.de/pub/Papers/csp4j.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W101802158","https://openalex.org/W123523327","https://openalex.org/W1481018260","https://openalex.org/W1542625757","https://openalex.org/W1544646281","https://openalex.org/W1601712140","https://openalex.org/W1783929070","https://openalex.org/W1998490923","https://openalex.org/W2054554282","https://openalex.org/W2094160561","https://openalex.org/W2105142318","https://openalex.org/W2161825580","https://openalex.org/W2176300081","https://openalex.org/W2183699365","https://openalex.org/W2987907651","https://openalex.org/W3144368627","https://openalex.org/W3146075203"],"related_works":["https://openalex.org/W2803109964","https://openalex.org/W2188063232","https://openalex.org/W7095379141","https://openalex.org/W7099757267","https://openalex.org/W7098493972","https://openalex.org/W2122303816","https://openalex.org/W2153815842","https://openalex.org/W1556088580","https://openalex.org/W7095657274","https://openalex.org/W1998490923"],"abstract_inverted_index":{"Abstract.":[0],"Currently":[1],"several":[2],"approaches":[3],"are":[4],"done":[5],"in":[6],"applying":[7],"formal":[8,31],"techniques":[9,32],"to":[10,19,33,39,48,74,118,139],"the":[11,41,62,76,87,97,112],"Java":[12,81,126,136],"programming":[13],"language.":[14],"A":[15],"new":[16],"trend":[17],"is":[18,53,93,116],"take":[20],"dynamic":[21,77],"behaviour":[22,78],"into":[23],"account":[24],"when":[25],"designing":[26],"such":[27,58],"techniques.":[28],"To":[29],"bring":[30],"practical":[34],"applications":[35],"one":[36,73],"often":[37],"has":[38],"reduce":[40],"goal":[42],"coming":[43],"down":[44],"from":[45],"full":[46],"verification":[47],"runtime":[49,59],"checking.":[50],"jassda":[51,71],"[5,4]":[52],"a":[54,94,101,120],"framework":[55],"for":[56,125],"performing":[57],"checks":[60],"at":[61],"bytecode":[63],"level":[64],"of":[65,70,79,89,96,100,122,134],"Java.":[66],"The":[67,128],"Trace-Checker":[68],"module":[69],"allows":[72],"test":[75],"multiple":[80],"virtual":[82],"machines":[83],"by":[84],"monitoring":[85],"whether":[86],"trace":[88,98],"all":[90],"relevant":[91],"events":[92],"member":[95],"semantics":[99,130],"given":[102],"CSP":[103,113],"process":[104],"or":[105],"not.":[106],"In":[107],"this":[108],"paper":[109],"we":[110],"present":[111],"dialect":[114],"that":[115],"used":[117],"specify":[119],"set":[121],"allowed":[123],"traces":[124],"programs.":[127],"underlying":[129],"allow":[131],"partial":[132],"specification":[133],"distributed":[135],"programs":[137],"and":[138],"recombine":[140],"them":[141],"while":[142],"preserving":[143],"properties.":[144],"1":[145]},"counts_by_year":[{"year":2016,"cited_by_count":2}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2016-06-24T00:00:00"}