default search action
Search dblp for Publications
export results for "toc:db/journals/fac/fac6.bht:"
@article{DBLP:journals/fac/Aceto94, author = {Luca Aceto}, title = {A Static View of Localities}, journal = {Formal Aspects Comput.}, volume = {6}, number = {2}, pages = {201--222}, year = {1994}, url = {https://doi.org/10.1007/BF01221099}, doi = {10.1007/BF01221099}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Aceto94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/AmericaB94, author = {Pierre America and Frank S. de Boer}, title = {Reasoning about Dynamically Evolving Process Structures}, journal = {Formal Aspects Comput.}, volume = {6}, number = {3}, pages = {269--316}, year = {1994}, url = {https://doi.org/10.1007/BF01215408}, doi = {10.1007/BF01215408}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/AmericaB94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Antoniou94, author = {Grigoris Antoniou}, title = {The Verification of Modules}, journal = {Formal Aspects Comput.}, volume = {6}, number = {2}, pages = {223--244}, year = {1994}, url = {https://doi.org/10.1007/BF01221100}, doi = {10.1007/BF01221100}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Antoniou94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/AptM94, author = {Krzysztof R. Apt and Elena Marchiori}, title = {Reasoning About Prolog Programs: From Modes Through Types to Assertions}, journal = {Formal Aspects Comput.}, volume = {6}, number = {6A}, pages = {743--765}, year = {1994}, url = {https://doi.org/10.1007/BF01213601}, doi = {10.1007/BF01213601}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/AptM94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/AvronS94, author = {Arnon Avron and Nada Sasson}, title = {Stability, Sequentiality and Demand Driven Evaluation in Dataflow}, journal = {Formal Aspects Comput.}, volume = {6}, number = {6}, pages = {620--642}, year = {1994}, url = {https://doi.org/10.1007/BF03259389}, doi = {10.1007/BF03259389}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/AvronS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BaetenB94, author = {Jos C. M. Baeten and Jan A. Bergstra}, title = {On Sequential Compoisiton, Action Prefixes and Process Prefixes}, journal = {Formal Aspects Comput.}, volume = {6}, number = {3}, pages = {250--268}, year = {1994}, url = {https://doi.org/10.1007/BF01215407}, doi = {10.1007/BF01215407}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BaetenB94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Bloom94, author = {Bard Bloom}, title = {When is Partial Trace Equivalence Adequate?}, journal = {Formal Aspects Comput.}, volume = {6}, number = {3}, pages = {317--338}, year = {1994}, url = {https://doi.org/10.1007/BF01215409}, doi = {10.1007/BF01215409}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Bloom94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BosangueK94, author = {Marcello M. Bonsangue and Joost N. Kok}, title = {The Weakest Precondition Calculus: Recursion and Duality}, journal = {Formal Aspects Comput.}, volume = {6}, number = {6A}, pages = {788--800}, year = {1994}, url = {https://doi.org/10.1007/BF01213603}, doi = {10.1007/BF01213603}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BosangueK94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BoudolCHK94, author = {G{\'{e}}rard Boudol and Ilaria Castellani and Matthew Hennessy and Astrid Kiehn}, title = {A Theory of Processes with Localities}, journal = {Formal Aspects Comput.}, volume = {6}, number = {2}, pages = {165--200}, year = {1994}, url = {https://doi.org/10.1007/BF01221098}, doi = {10.1007/BF01221098}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BoudolCHK94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BrinkBS94, author = {Chris Brink and Katarina Britz and Renate A. Schmidt}, title = {Peirce Algebras}, journal = {Formal Aspects Comput.}, volume = {6}, number = {3}, pages = {339--358}, year = {1994}, url = {https://doi.org/10.1007/BF01215410}, doi = {10.1007/BF01215410}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BrinkBS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BrunsA94, author = {Glenn Bruns and Stuart Anderson}, title = {The Formalization and Analysis of a Communications Protocol}, journal = {Formal Aspects Comput.}, volume = {6}, number = {1}, pages = {92--112}, year = {1994}, url = {https://doi.org/10.1007/BF01211082}, doi = {10.1007/BF01211082}, timestamp = {Sun, 06 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BrunsA94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Chandy94, author = {K. Mani Chandy}, title = {Properties of Concurrent Programs}, journal = {Formal Aspects Comput.}, volume = {6}, number = {6}, pages = {607--619}, year = {1994}, url = {https://doi.org/10.1007/BF03259388}, doi = {10.1007/BF03259388}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Chandy94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Dybjer94, author = {Peter Dybjer}, title = {Inductive Families}, journal = {Formal Aspects Comput.}, volume = {6}, number = {4}, pages = {440--465}, year = {1994}, url = {https://doi.org/10.1007/BF01211308}, doi = {10.1007/BF01211308}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Dybjer94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Eijck94, author = {Jan van Eijck}, title = {Presupposition Failure-A Comedy of Errors}, journal = {Formal Aspects Comput.}, volume = {6}, number = {6A}, pages = {766--787}, year = {1994}, url = {https://doi.org/10.1007/BF01213602}, doi = {10.1007/BF01213602}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Eijck94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/GrooteP94, author = {Jan Friso Groote and Alban Ponse}, title = {Process Algebra with Guards: Combining Hoare Logic with Process Algebra}, journal = {Formal Aspects Comput.}, volume = {6}, number = {2}, pages = {115--164}, year = {1994}, url = {https://doi.org/10.1007/BF01221097}, doi = {10.1007/BF01221097}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/GrooteP94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Hansen94, author = {Michael R. Hansen}, title = {Model-Checking Discrete Duration Calculus}, journal = {Formal Aspects Comput.}, volume = {6}, number = {6A}, pages = {826--845}, year = {1994}, url = {https://doi.org/10.1007/BF01213605}, doi = {10.1007/BF01213605}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Hansen94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/HanssonJ94, author = {Hans Hansson and Bengt Jonsson}, title = {A Logic for Reasoning about Time and Reliability}, journal = {Formal Aspects Comput.}, volume = {6}, number = {5}, pages = {512--535}, year = {1994}, url = {https://doi.org/10.1007/BF01211866}, doi = {10.1007/BF01211866}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/HanssonJ94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Hooman94, author = {Jozef Hooman}, title = {Extending Hoare Logic to Real-Time}, journal = {Formal Aspects Comput.}, volume = {6}, number = {6A}, pages = {801--826}, year = {1994}, url = {https://doi.org/10.1007/BF01213604}, doi = {10.1007/BF01213604}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Hooman94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/HoustonJ94, author = {Iain S. C. Houston and Mark B. Josephs}, title = {Specifying Distributed {CICS} in {Z:} Accessing Local and Remote Resources (Short Communication)}, journal = {Formal Aspects Comput.}, volume = {6}, number = {5}, pages = {569--579}, year = {1994}, url = {https://doi.org/10.1007/BF01211869}, doi = {10.1007/BF01211869}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/HoustonJ94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/InverardiPY94, author = {Paola Inverardi and Corrado Priami and Daniel Yankelevich}, title = {Automatizing Parametric Reasoning on Distributed Concurrent Systems}, journal = {Formal Aspects Comput.}, volume = {6}, number = {6}, pages = {676--695}, year = {1994}, url = {https://doi.org/10.1007/BF03259392}, doi = {10.1007/BF03259392}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/InverardiPY94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/JifengB94, author = {Jifeng He and Jonathan P. Bowen}, title = {Specification, Verification and Prototyping of an Optimized Compiler}, journal = {Formal Aspects Comput.}, volume = {6}, number = {6}, pages = {643--658}, year = {1994}, url = {https://doi.org/10.1007/BF03259390}, doi = {10.1007/BF03259390}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/JifengB94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Lamport94, author = {Leslie Lamport}, title = {How to Write a Long Formula (Short Communication)}, journal = {Formal Aspects Comput.}, volume = {6}, number = {5}, pages = {580--584}, year = {1994}, url = {https://doi.org/10.1007/BF01211870}, doi = {10.1007/BF01211870}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Lamport94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Larsen94, author = {Peter Gorm Larsen}, title = {Repsonse to "The Formal Specification of Safety Requirements for Storing Explosives" (Short Communication)}, journal = {Formal Aspects Comput.}, volume = {6}, number = {5}, pages = {565--568}, year = {1994}, url = {https://doi.org/10.1007/BF01211868}, doi = {10.1007/BF01211868}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Larsen94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/LarsenPT94, author = {Peter Gorm Larsen and Nico Plat and Hans Toetenel}, title = {A Formal Semantics of Data Flow Diagrams}, journal = {Formal Aspects Comput.}, volume = {6}, number = {6}, pages = {586--606}, year = {1994}, url = {https://doi.org/10.1007/BF03259387}, doi = {10.1007/BF03259387}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/LarsenPT94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/LieberherrHX94, author = {Karl J. Lieberherr and Walter L. H{\"{u}}rsch and Cun Xiao}, title = {Object-Extending Class Transformations}, journal = {Formal Aspects Comput.}, volume = {6}, number = {4}, pages = {391--416}, year = {1994}, url = {https://doi.org/10.1007/BF01211306}, doi = {10.1007/BF01211306}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/LieberherrHX94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Minamide94, author = {Yasuhiko Minamide}, title = {Sharing Analysis Based on Type Interface}, journal = {Formal Aspects Comput.}, volume = {6}, number = {6}, pages = {659--675}, year = {1994}, url = {https://doi.org/10.1007/BF03259391}, doi = {10.1007/BF03259391}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Minamide94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Moore94, author = {J Strother Moore}, title = {A Formal Model of Asynchronous Communication and its Use in Mechanically Verifying a Biphase Mark Protocol}, journal = {Formal Aspects Comput.}, volume = {6}, number = {1}, pages = {60--91}, year = {1994}, url = {https://doi.org/10.1007/BF01211081}, doi = {10.1007/BF01211081}, timestamp = {Mon, 19 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Moore94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Nickolas94, author = {Peter Nickolas}, title = {The Completeness of Functional Logic}, journal = {Formal Aspects Comput.}, volume = {6}, number = {1}, pages = {39--59}, year = {1994}, url = {https://doi.org/10.1007/BF01211080}, doi = {10.1007/BF01211080}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Nickolas94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/PittB94, author = {David H. Pitt and Paddy Byers}, title = {The Rest Says Unchanged (Concurrency and State-Based Specification)}, journal = {Formal Aspects Comput.}, volume = {6}, number = {5}, pages = {471--494}, year = {1994}, url = {https://doi.org/10.1007/BF01211864}, doi = {10.1007/BF01211864}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/PittB94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Prasetya94, author = {I. S. W. B. Prasetya}, title = {Error in the {UNITY} Rule for Subscripted Operators (Short Communication)}, journal = {Formal Aspects Comput.}, volume = {6}, number = {4}, pages = {466--470}, year = {1994}, url = {https://doi.org/10.1007/BF01211309}, doi = {10.1007/BF01211309}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Prasetya94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Russinoff94, author = {David M. Russinoff}, title = {A Mechanically Verified Incremental Garbage Collector}, journal = {Formal Aspects Comput.}, volume = {6}, number = {4}, pages = {359--390}, year = {1994}, url = {https://doi.org/10.1007/BF01211305}, doi = {10.1007/BF01211305}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Russinoff94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Sistla94, author = {A. Prasad Sistla}, title = {Safety, Liveness and Fairness in Temporal Logic}, journal = {Formal Aspects Comput.}, volume = {6}, number = {5}, pages = {495--512}, year = {1994}, url = {https://doi.org/10.1007/BF01211865}, doi = {10.1007/BF01211865}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Sistla94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Stannett94, author = {Mike Stannett}, title = {Infinite Concurrent Systems-I. The Relationship between Metric and Order Convergence}, journal = {Formal Aspects Comput.}, volume = {6}, number = {6}, pages = {696--715}, year = {1994}, url = {https://doi.org/10.1007/BF03259393}, doi = {10.1007/BF03259393}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Stannett94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/StaplesRH94, author = {John Staples and Peter J. Robinson and Daniel Hazel}, title = {A Functional Logic for Higher Level Reasoning About Computation}, journal = {Formal Aspects Comput.}, volume = {6}, number = {1}, pages = {1--38}, year = {1994}, url = {https://doi.org/10.1007/BF01211079}, doi = {10.1007/BF01211079}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/StaplesRH94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/StompR94, author = {Frank A. Stomp and Willem P. de Roever}, title = {A Principle for Sequential Reasoning about Distributed Algorithms}, journal = {Formal Aspects Comput.}, volume = {6}, number = {6}, pages = {716--737}, year = {1994}, url = {https://doi.org/10.1007/BF03259394}, doi = {10.1007/BF03259394}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/StompR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/Tofts94, author = {Chris M. N. Tofts}, title = {Processes with Probablities, Priority and Time}, journal = {Formal Aspects Comput.}, volume = {6}, number = {5}, pages = {536--564}, year = {1994}, url = {https://doi.org/10.1007/BF01211867}, doi = {10.1007/BF01211867}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/Tofts94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/WrayS94, author = {Johnston Paul Wray and A. Stewart}, title = {Correct Translation of Data Parallel Assignment onto Array Processors}, journal = {Formal Aspects Comput.}, volume = {6}, number = {4}, pages = {417--439}, year = {1994}, url = {https://doi.org/10.1007/BF01211307}, doi = {10.1007/BF01211307}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/WrayS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/BaetenB93, author = {Jos C. M. Baeten and Jan A. Bergstra}, title = {Real space process algebra}, journal = {Formal Aspects Comput.}, volume = {5}, number = {6}, pages = {481--529}, year = {1993}, url = {https://doi.org/10.1007/BF01211247}, doi = {10.1007/BF01211247}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/BaetenB93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.