callback( { "result":{ "query":":facetid:toc:\"db/journals/fac/fac16.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"77.14" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"27", "@dc":"27", "@oc":"27", "@id":"43438002", "text":":facetid:toc:db/journals/fac/fac16.bht" } }, "hits":{ "@total":"27", "@computed":"27", "@sent":"27", "@first":"0", "hit":[{ "@score":"1", "@id":"5978603", "info":{"authors":{"author":{"@pid":"69/1253","text":"Rana Barua"}},"title":"Completeness of a combination of neighbourhood logic and temporal logic.","venue":"Formal Aspects Comput.","volume":"16","number":"2","pages":"96-103","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/Barua04","doi":"10.1007/S00165-004-0035-8","ee":"https://doi.org/10.1007/s00165-004-0035-8","url":"https://dblp.org/rec/journals/fac/Barua04"}, "url":"URL#5978603" }, { "@score":"1", "@id":"5978604", "info":{"authors":{"author":[{"@pid":"b/ManfredBroy","text":"Manfred Broy"},{"@pid":"84/38","text":"Gerald Lüttgen"},{"@pid":"90/6305","text":"Michael Mendler"}]},"title":"Editorial.","venue":"Formal Aspects Comput.","volume":"16","number":"3","pages":"165-","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/BroyLM04","doi":"10.1007/S00165-004-0049-2","ee":"https://doi.org/10.1007/s00165-004-0049-2","url":"https://dblp.org/rec/journals/fac/BroyLM04"}, "url":"URL#5978604" }, { "@score":"1", "@id":"5978605", "info":{"authors":{"author":[{"@pid":"84/6959","text":"C. T. Carr"},{"@pid":"m/TMartinMcGinnity","text":"T. Martin McGinnity"},{"@pid":"m/LiamMcDaid","text":"L. J. McDaid"}]},"title":"Integration of UML and VHDL-AMS for analogue system modelling.","venue":"Formal Aspects Comput.","volume":"16","number":"1","pages":"80-94","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/CarrMM04","doi":"10.1007/S00165-003-0027-0","ee":"https://doi.org/10.1007/s00165-003-0027-0","url":"https://dblp.org/rec/journals/fac/CarrMM04"}, "url":"URL#5978605" }, { "@score":"1", "@id":"5978606", "info":{"authors":{"author":[{"@pid":"c/SolangeCoupetGrimal","text":"Solange Coupet-Grimal"},{"@pid":"98/447","text":"Line Jakubiec"}]},"title":"Certifying circuits in Type Theory.","venue":"Formal Aspects Comput.","volume":"16","number":"4","pages":"352-373","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/Coupet-GrimalJ04","doi":"10.1007/S00165-004-0048-3","ee":"https://doi.org/10.1007/s00165-004-0048-3","url":"https://dblp.org/rec/journals/fac/Coupet-GrimalJ04"}, "url":"URL#5978606" }, { "@score":"1", "@id":"5978607", "info":{"authors":{"author":{"@pid":"53/4627","text":"Henning Dierks"}},"title":"Comparing model checking and logical reasoning for real-time systems.","venue":"Formal Aspects Comput.","volume":"16","number":"2","pages":"104-120","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/Dierks04","doi":"10.1007/S00165-004-0034-9","ee":"https://doi.org/10.1007/s00165-004-0034-9","url":"https://dblp.org/rec/journals/fac/Dierks04"}, "url":"URL#5978607" }, { "@score":"1", "@id":"5978608", "info":{"authors":{"author":{"@pid":"07/1536","text":"John S. Fitzgerald"}},"title":"Formal Methods Europe Update.","venue":"Formal Aspects Comput.","volume":"16","number":"1","pages":"2-3","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/Fitzgerald04","doi":"10.1007/S00165-004-0030-0","ee":"https://doi.org/10.1007/s00165-004-0030-0","url":"https://dblp.org/rec/journals/fac/Fitzgerald04"}, "url":"URL#5978608" }, { "@score":"1", "@id":"5978609", "info":{"authors":{"author":{"@pid":"34/3263","text":"Martin Fränzle"}},"title":"Model-checking dense-time Duration Calculus.","venue":"Formal Aspects Comput.","volume":"16","number":"2","pages":"121-139","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/Franzle04","doi":"10.1007/S00165-004-0032-Y","ee":"https://doi.org/10.1007/s00165-004-0032-y","url":"https://dblp.org/rec/journals/fac/Franzle04"}, "url":"URL#5978609" }, { "@score":"1", "@id":"5978610", "info":{"authors":{"author":[{"@pid":"15/4377","text":"María-del-Mar Gallardo"},{"@pid":"95/1885","text":"Pedro Merino 0001"},{"@pid":"p/ErnestoPimentel","text":"Ernesto Pimentel 0001"}]},"title":"A generalized semantics of PROMELA for abstract model checking.","venue":"Formal Aspects Comput.","volume":"16","number":"3","pages":"166-193","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/GallardoMP04","doi":"10.1007/S00165-004-0040-Y","ee":"https://doi.org/10.1007/s00165-004-0040-y","url":"https://dblp.org/rec/journals/fac/GallardoMP04"}, "url":"URL#5978610" }, { "@score":"1", "@id":"5978611", "info":{"authors":{"author":[{"@pid":"75/5110","text":"Stefan Hallerstede"},{"@pid":"b/MichaelJButler","text":"Michael J. Butler"}]},"title":"Performance analysis of probabilistic action systems.","venue":"Formal Aspects Comput.","volume":"16","number":"4","pages":"313-331","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/HallerstedeB04","doi":"10.1007/S00165-004-0037-6","ee":"https://doi.org/10.1007/s00165-004-0037-6","url":"https://dblp.org/rec/journals/fac/HallerstedeB04"}, "url":"URL#5978611" }, { "@score":"1", "@id":"5978612", "info":{"authors":{"author":{"@pid":"h/WimHHesselink","text":"Wim H. Hesselink"}},"title":"An assertional proof for a construction of an atomic variable.","venue":"Formal Aspects Comput.","volume":"16","number":"4","pages":"387-393","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/Hesselink04","doi":"10.1007/S00165-004-0038-5","ee":"https://doi.org/10.1007/s00165-004-0038-5","url":"https://dblp.org/rec/journals/fac/Hesselink04"}, "url":"URL#5978612" }, { "@score":"1", "@id":"5978613", "info":{"authors":{"author":{"@pid":"29/932","text":"Florentin Ipate"}},"title":"Complete deterministic stream X-machine testing.","venue":"Formal Aspects Comput.","volume":"16","number":"4","pages":"374-386","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/Ipate04","doi":"10.1007/S00165-004-0045-6","ee":"https://doi.org/10.1007/s00165-004-0045-6","url":"https://dblp.org/rec/journals/fac/Ipate04"}, "url":"URL#5978613" }, { "@score":"1", "@id":"5978614", "info":{"authors":{"author":[{"@pid":"j/CliffBJones","text":"Cliff B. Jones"},{"@pid":"99/1493","text":"John Cooke"}]},"title":"Editorial.","venue":"Formal Aspects Comput.","volume":"16","number":"1","pages":"1-","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/JonesC04","doi":"10.1007/S00165-004-0029-6","ee":"https://doi.org/10.1007/s00165-004-0029-6","url":"https://dblp.org/rec/journals/fac/JonesC04"}, "url":"URL#5978614" }, { "@score":"1", "@id":"5978615", "info":{"authors":{"author":[{"@pid":"j/CliffBJones","text":"Cliff B. Jones"},{"@pid":"298/2529","text":"D. J. Cooke"},{"@pid":"13/4375","text":"Christiane Notarmarco"}]},"title":"Online First Publication.","venue":"Formal Aspects Comput.","volume":"16","number":"1","pages":"4-","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/JonesCN04","doi":"10.1007/S00165-004-0031-Z","ee":"https://doi.org/10.1007/s00165-004-0031-z","url":"https://dblp.org/rec/journals/fac/JonesCN04"}, "url":"URL#5978615" }, { "@score":"1", "@id":"5978616", "info":{"authors":{"author":[{"@pid":"j/CliffBJones","text":"Cliff B. Jones"},{"@pid":"50/6388","text":"Michael R. Hansen"}]},"title":"Editorial.","venue":"Formal Aspects Comput.","volume":"16","number":"2","pages":"95-","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/JonesH04","doi":"10.1007/S00165-004-0047-4","ee":"https://doi.org/10.1007/s00165-004-0047-4","url":"https://dblp.org/rec/journals/fac/JonesH04"}, "url":"URL#5978616" }, { "@score":"1", "@id":"5978617", "info":{"authors":{"author":[{"@pid":"k/IngolfKruger","text":"Ingolf Krüger"},{"@pid":"09/6625","text":"Wolfgang Prenninger"},{"@pid":"69/240","text":"Robert Sandner"}]},"title":"Broadcast MSCs.","venue":"Formal Aspects Comput.","volume":"16","number":"3","pages":"194-209","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/KrugerPS04","doi":"10.1007/S00165-004-0046-5","ee":"https://doi.org/10.1007/s00165-004-0046-5","url":"https://dblp.org/rec/journals/fac/KrugerPS04"}, "url":"URL#5978617" }, { "@score":"1", "@id":"5978618", "info":{"authors":{"author":[{"@pid":"83/846","text":"Edward A. Lee"},{"@pid":"57/981","text":"Yuhong Xiong"}]},"title":"A behavioral type system and its application in Ptolemy II.","venue":"Formal Aspects Comput.","volume":"16","number":"3","pages":"210-237","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/LeeX04","doi":"10.1007/S00165-004-0043-8","ee":"https://doi.org/10.1007/s00165-004-0043-8","url":"https://dblp.org/rec/journals/fac/LeeX04"}, "url":"URL#5978618" }, { "@score":"1", "@id":"5978619", "info":{"authors":{"author":[{"@pid":"76/5446","text":"Xuandong Li"},{"@pid":"31/5664","text":"Jianhua Zhao"},{"@pid":"76/5177","text":"Tao Zheng"},{"@pid":"l/YongLi5","text":"Yong Li 0005"},{"@pid":"86/672","text":"Guoliang Zheng"}]},"title":"Duration-constrained regular expressions.","venue":"Formal Aspects Comput.","volume":"16","number":"2","pages":"155-163","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/LiZZLZ04","doi":"10.1007/S00165-004-0033-X","ee":"https://doi.org/10.1007/s00165-004-0033-x","url":"https://dblp.org/rec/journals/fac/LiZZLZ04"}, "url":"URL#5978619" }, { "@score":"1", "@id":"5978620", "info":{"authors":{"author":[{"@pid":"l/ZhimingLiu1","text":"Zhiming Liu 0001"},{"@pid":"51/1502","text":"Anders P. Ravn"},{"@pid":"77/1867","text":"Xiaoshan Li"}]},"title":"Unifying proof methodologies of duration calculus and timed linear temporal logic.","venue":"Formal Aspects Comput.","volume":"16","number":"2","pages":"140-154","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/LiuRL04","doi":"10.1007/S00165-004-0036-7","ee":"https://doi.org/10.1007/s00165-004-0036-7","url":"https://dblp.org/rec/journals/fac/LiuRL04"}, "url":"URL#5978620" }, { "@score":"1", "@id":"5978621", "info":{"authors":{"author":[{"@pid":"75/5295","text":"Antónia Lopes"},{"@pid":"f/JoseLuizFiadeiro","text":"José Luiz Fiadeiro"}]},"title":"Superposition: composition vs refinement of non-deterministic, action-based systems.","venue":"Formal Aspects Comput.","volume":"16","number":"1","pages":"5-18","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/LopesF04","doi":"10.1007/S00165-003-0021-6","ee":"https://doi.org/10.1007/s00165-003-0021-6","url":"https://dblp.org/rec/journals/fac/LopesF04"}, "url":"URL#5978621" }, { "@score":"1", "@id":"5978622", "info":{"authors":{"author":[{"@pid":"66/5710","text":"Natalia López"},{"@pid":"n/ManuelNunez","text":"Manuel Núñez 0001"},{"@pid":"r/FernandoRubio","text":"Fernando Rubio 0001"}]},"title":"An integrated framework for the performance analysis of asynchronous communicating stochastic processes.","venue":"Formal Aspects Comput.","volume":"16","number":"3","pages":"238-262","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/LopezNR04","doi":"10.1007/S00165-004-0044-7","ee":"https://doi.org/10.1007/s00165-004-0044-7","url":"https://dblp.org/rec/journals/fac/LopezNR04"}, "url":"URL#5978622" }, { "@score":"1", "@id":"5978623", "info":{"authors":{"author":[{"@pid":"14/5534","text":"Clare E. Martin"},{"@pid":"53/1090","text":"Jeremy Gibbons"},{"@pid":"76/6181","text":"Ian Bayley"}]},"title":"Disciplined, efficient, generalised folds for nested datatypes.","venue":"Formal Aspects Comput.","volume":"16","number":"1","pages":"19-35","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/MartinGB04","doi":"10.1007/S00165-003-0013-6","ee":"https://doi.org/10.1007/s00165-003-0013-6","url":"https://dblp.org/rec/journals/fac/MartinGB04"}, "url":"URL#5978623" }, { "@score":"1", "@id":"5978624", "info":{"authors":{"author":{"@pid":"n/MNebut","text":"Mirabelle Nebut"}},"title":"Specification and analysis of synchronous reactions.","venue":"Formal Aspects Comput.","volume":"16","number":"3","pages":"263-291","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/Nebut04","doi":"10.1007/S00165-004-0039-4","ee":"https://doi.org/10.1007/s00165-004-0039-4","url":"https://dblp.org/rec/journals/fac/Nebut04"}, "url":"URL#5978624" }, { "@score":"1", "@id":"5978625", "info":{"authors":{"author":[{"@pid":"p/RichardFPaige","text":"Richard F. Paige"},{"@pid":"39/1187","text":"Jonathan S. Ostroff"}]},"title":"ERC - An object-oriented refinement calculus for Eiffel.","venue":"Formal Aspects Comput.","volume":"16","number":"1","pages":"51-79","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/PaigeO04","doi":"10.1007/S00165-003-0024-3","ee":"https://doi.org/10.1007/s00165-003-0024-3","url":"https://dblp.org/rec/journals/fac/PaigeO04"}, "url":"URL#5978625" }, { "@score":"1", "@id":"5978626", "info":{"authors":{"author":[{"@pid":"51/2323","text":"Stephen Paynter"},{"@pid":"92/6161","text":"Neil Henderson"},{"@pid":"13/4852","text":"James M. Armstrong"}]},"title":"Ramifications of metastability in bit variables explored via Simpson's 4-slot mechanism.","venue":"Formal Aspects Comput.","volume":"16","number":"4","pages":"332-351","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/PaynterHA04","doi":"10.1007/S00165-004-0042-9","ee":"https://doi.org/10.1007/s00165-004-0042-9","url":"https://dblp.org/rec/journals/fac/PaynterHA04"}, "url":"URL#5978626" }, { "@score":"1", "@id":"5978627", "info":{"authors":{"author":[{"@pid":"10/4667","text":"Joy N. Reed"},{"@pid":"s/JESinclair","text":"Jane E. Sinclair"},{"@pid":"r/AWRoscoe","text":"A. W. Roscoe 0001"}]},"title":"Responsiveness of interoperating components.","venue":"Formal Aspects Comput.","volume":"16","number":"4","pages":"394-411","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/ReedSR04","doi":"10.1007/S00165-004-0050-9","ee":"https://doi.org/10.1007/s00165-004-0050-9","url":"https://dblp.org/rec/journals/fac/ReedSR04"}, "url":"URL#5978627" }, { "@score":"1", "@id":"5978628", "info":{"authors":{"author":[{"@pid":"35/554","text":"Alan Stewart"},{"@pid":"46/4647","text":"Maurice Clint"},{"@pid":"03/1523","text":"Joaquim Gabarró"}]},"title":"Barrier synchronisation: Axiomatisation and relaxation.","venue":"Formal Aspects Comput.","volume":"16","number":"1","pages":"36-50","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/StewartCG04","doi":"10.1007/S00165-004-0028-7","ee":"https://doi.org/10.1007/s00165-004-0028-7","url":"https://dblp.org/rec/journals/fac/StewartCG04"}, "url":"URL#5978628" }, { "@score":"1", "@id":"5978629", "info":{"authors":{"author":{"@pid":"40/840","text":"Simone Tini"}},"title":"Timed CCP compositionally embeds Argos and Lustre.","venue":"Formal Aspects Comput.","volume":"16","number":"3","pages":"292-312","year":"2004","type":"Journal Articles","access":"open","key":"journals/fac/Tini04","doi":"10.1007/S00165-004-0041-X","ee":"https://doi.org/10.1007/s00165-004-0041-x","url":"https://dblp.org/rec/journals/fac/Tini04"}, "url":"URL#5978629" } ] } } } )