Mantovani, Marco; Momigliano, Alberto Towards substructural property-based testing. (English) Zbl 1521.68035 De Angelis, Emanuele (ed.) et al., Logic-based program synthesis and transformation. 31st international symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13290, 92-112 (2022). MSC: 68N30 03B47 68N15 68Q55 68W20 PDFBibTeX XMLCite \textit{M. Mantovani} and \textit{A. Momigliano}, Lect. Notes Comput. Sci. 13290, 92--112 (2022; Zbl 1521.68035) Full Text: DOI arXiv
Soldevila, Mallku; Ziliani, Beta; Silvestre, Bruno From specification to testing: semantics engineering for Lua 5.2. (English) Zbl 1512.68056 J. Autom. Reasoning 66, No. 4, 905-952 (2022). MSC: 68N15 68Q55 PDFBibTeX XMLCite \textit{M. Soldevila} et al., J. Autom. Reasoning 66, No. 4, 905--952 (2022; Zbl 1512.68056) Full Text: DOI
Aubert, Clément; Varacca, Daniele Processes against tests: on defining contextual equivalences. (English) Zbl 07595225 J. Log. Algebr. Methods Program. 129, Article ID 100799, 18 p. (2022). MSC: 68-XX PDFBibTeX XMLCite \textit{C. Aubert} and \textit{D. Varacca}, J. Log. Algebr. Methods Program. 129, Article ID 100799, 18 p. (2022; Zbl 07595225) Full Text: DOI arXiv
Kavanagh, Ryan Fairness and communication-based semantics for session-typed languages. (English) Zbl 1504.68030 Inf. Comput. 285, Part B, Article ID 104892, 77 p. (2022). MSC: 68N15 68N18 68N19 68N30 68Q42 PDFBibTeX XMLCite \textit{R. Kavanagh}, Inf. Comput. 285, Part B, Article ID 104892, 77 p. (2022; Zbl 1504.68030) Full Text: DOI arXiv
Haveraaen, Magne; Järvi, Jaakko Semantics of multiway dataflow constraint systems. (English) Zbl 1518.68052 J. Log. Algebr. Methods Program. 121, Article ID 100634, 26 p. (2021). MSC: 68N30 03B70 03G30 68Q55 PDFBibTeX XMLCite \textit{M. Haveraaen} and \textit{J. Järvi}, J. Log. Algebr. Methods Program. 121, Article ID 100634, 26 p. (2021; Zbl 1518.68052) Full Text: DOI
van Glabbeek, Rob Failure trace semantics for a process algebra with time-outs. (English) Zbl 07350777 Log. Methods Comput. Sci. 17, No. 2, Paper No. 11, 40 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{R. van Glabbeek}, Log. Methods Comput. Sci. 17, No. 2, Paper No. 11, 40 p. (2021; Zbl 07350777) Full Text: arXiv Link
Aichernig, Bernhard K. A testing perspective on algebraic, denotational, and operational semantics. (English) Zbl 07168632 Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 22-38 (2019). MSC: 68N30 PDFBibTeX XMLCite \textit{B. K. Aichernig}, Lect. Notes Comput. Sci. 11885, 22--38 (2019; Zbl 07168632) Full Text: DOI
Basold, Henning; Hansen, Helle Hvid Well-definedness and observational equivalence for inductive-coinductive programs. (English) Zbl 1452.68044 J. Log. Comput. 29, No. 4, 419-468 (2019). MSC: 68N30 03B70 18C50 PDFBibTeX XMLCite \textit{H. Basold} and \textit{H. H. Hansen}, J. Log. Comput. 29, No. 4, 419--468 (2019; Zbl 1452.68044) Full Text: DOI
Junges, Sebastian; Katoen, Joost-Pieter; Stoelinga, Mariëlle; Volk, Matthias One net fits all. A unifying semantics of dynamic fault trees using GSPNs. (English) Zbl 1427.68156 Khomenko, Victor (ed.) et al., Application and theory of Petri nets and concurrency. 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10877, 272-293 (2018). MSC: 68Q55 68M15 68Q85 PDFBibTeX XMLCite \textit{S. Junges} et al., Lect. Notes Comput. Sci. 10877, 272--293 (2018; Zbl 1427.68156) Full Text: DOI arXiv
Gregorio-Rodríguez, Carlos; Llana, Luis; Martínez, Rafael An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation. (English) Zbl 1400.68133 J. Log. Algebr. Methods Program. 100, 152-184 (2018). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{C. Gregorio-Rodríguez} et al., J. Log. Algebr. Methods Program. 100, 152--184 (2018; Zbl 1400.68133) Full Text: DOI
Goubault, Éric; Mimram, Samuel; Tasson, Christine Geometric and combinatorial views on asynchronous computability. (English) Zbl 1451.68046 Distrib. Comput. 31, No. 4, 289-316 (2018). MSC: 68M14 55U10 68M12 68M15 68Q55 PDFBibTeX XMLCite \textit{É. Goubault} et al., Distrib. Comput. 31, No. 4, 289--316 (2018; Zbl 1451.68046) Full Text: DOI HAL
Nguyen Van, Hai; Balabonski, Thibaut; Boulanger, Frédéric; Keller, Chantal; Valiron, Benoît; Wolff, Burkhart A symbolic operational semantics for TESL – with an application to heterogeneous system testing. (English) Zbl 1494.68154 Abate, Alessandro (ed.) et al., Formal modeling and analysis of timed systems. 15th international conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10419, 318-334 (2017). MSC: 68Q55 68M14 68M15 68Q85 PDFBibTeX XMLCite \textit{H. Nguyen Van} et al., Lect. Notes Comput. Sci. 10419, 318--334 (2017; Zbl 1494.68154) Full Text: DOI
Keshishzadeh, Sarmen; Mooij, Arjan J. Formalizing and testing the consistency of DSL transformations. (English) Zbl 1342.68046 Formal Asp. Comput. 28, No. 2, 181-206 (2016). MSC: 68N15 PDFBibTeX XMLCite \textit{S. Keshishzadeh} and \textit{A. J. Mooij}, Formal Asp. Comput. 28, No. 2, 181--206 (2016; Zbl 1342.68046) Full Text: DOI
Khakpour, Narges; Mousavi, Mohammad Reza Notions of conformance testing for cyber-physical systems: overview and roadmap (invited paper). (English) Zbl 1374.68071 Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 18-40 (2015). MSC: 68M14 68M15 68Q55 PDFBibTeX XMLCite \textit{N. Khakpour} and \textit{M. R. Mousavi}, LIPIcs -- Leibniz Int. Proc. Inform. 42, 18--40 (2015; Zbl 1374.68071) Full Text: DOI
Cavalcanti, Ana; Huang, Wen-ling; Peleska, Jan; Woodcock, Jim CSP and Kripke structures. (English) Zbl 1471.68135 Leucker, Martin (ed.) et al., Theoretical aspects of computing – ICTAC 2015. 12th international colloquium, Cali, Colombia, October 29–31, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9399, 505-523 (2015). MSC: 68Q60 03B70 68N15 68Q55 PDFBibTeX XMLCite \textit{A. Cavalcanti} et al., Lect. Notes Comput. Sci. 9399, 505--523 (2015; Zbl 1471.68135) Full Text: DOI
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio; Monreale, Giacoma V. Asynchronous traces and open Petri nets. (English) Zbl 1434.68320 Bodei, Chiara (ed.) et al., Programming languages with applications to biology and security. Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9465, 86-102 (2015). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 9465, 86--102 (2015; Zbl 1434.68320) Full Text: DOI
Peleska, Jan Translating testing theories for concurrent systems. (English) Zbl 1444.68121 Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9360, 133-151 (2015). MSC: 68Q85 68Q55 68Q60 68Q65 PDFBibTeX XMLCite \textit{J. Peleska}, Lect. Notes Comput. Sci. 9360, 133--151 (2015; Zbl 1444.68121) Full Text: DOI
Laneve, Cosimo; Padovani, Luca An algebraic theory for web service contracts. (English) Zbl 1338.68016 Formal Asp. Comput. 27, No. 4, 613-640 (2015). MSC: 68M11 68Q55 PDFBibTeX XMLCite \textit{C. Laneve} and \textit{L. Padovani}, Formal Asp. Comput. 27, No. 4, 613--640 (2015; Zbl 1338.68016) Full Text: DOI HAL
Taha, Safouan; Julliand, Jacques; Dadeau, Frédéric; Castillos, Kalou Cabrera; Kanso, Bilal A compositional automata-based semantics and preserving transformation rules for testing property patterns. (English) Zbl 1338.68164 Formal Asp. Comput. 27, No. 4, 641-664 (2015). MSC: 68Q55 68Q45 68Q60 PDFBibTeX XMLCite \textit{S. Taha} et al., Formal Asp. Comput. 27, No. 4, 641--664 (2015; Zbl 1338.68164) Full Text: DOI
Deng, Yuxin Semantics of probabilistic processes. An operational approach. (English) Zbl 1315.68002 Shanghai: Shanghai Jiao Tong University Press; Heidelberg: Springer (ISBN 978-3-662-45197-7/hbk; 978-3-662-45198-4/ebook). xiv, 249 p. (2014). Reviewer: Pedro Sánchez Terraf (Córdoba) MSC: 68-02 03B70 68Q10 68Q55 68Q85 68Q87 PDFBibTeX XMLCite \textit{Y. Deng}, Semantics of probabilistic processes. An operational approach. Shanghai: Shanghai Jiao Tong University Press; Heidelberg: Springer (2014; Zbl 1315.68002) Full Text: DOI
Hritcu, Catalin; Hughes, John; Pierce, Benjamin C.; Spector-Zabusky, Antal; Vytiniotis, Dimitrios; Azevedo de Amorim, Arthur; Lampropoulos, Leonidas Testing noninterference, quickly. (English) Zbl 1323.68376 Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 455-468 (2013). MSC: 68Q60 68Q05 68Q55 PDFBibTeX XMLCite \textit{C. Hritcu} et al., in: Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP '13, Boston, MA, USA, September 25--27, 2013. New York, NY: Association for Computing Machinery (ACM). 455--468 (2013; Zbl 1323.68376) Full Text: DOI arXiv
Clark, John A.; Dan, Haitao; Hierons, Robert M. Semantic mutation testing. (English) Zbl 1264.68055 Sci. Comput. Program. 78, No. 4, 345-363 (2013). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{J. A. Clark} et al., Sci. Comput. Program. 78, No. 4, 345--363 (2013; Zbl 1264.68055) Full Text: DOI
Hirschowitz, Tom; Pous, Damien Innocent strategies as presheaves and interactive equivalences for CCS. (English) Zbl 1424.68103 Sci. Ann. Comput. Sci. 22, No. 1, 147-199 (2012). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{T. Hirschowitz} and \textit{D. Pous}, Sci. Ann. Comput. Sci. 22, No. 1, 147--199 (2012; Zbl 1424.68103) Full Text: arXiv
Deng, Yuxin; Tiu, Alwen Characterisations of testing preorders for a finite probabilistic \(\pi\)-calculus. (English) Zbl 1259.68143 Formal Asp. Comput. 24, No. 4-6, 701-726 (2012). MSC: 68Q85 03B45 03B70 68Q55 PDFBibTeX XMLCite \textit{Y. Deng} and \textit{A. Tiu}, Formal Asp. Comput. 24, No. 4--6, 701--726 (2012; Zbl 1259.68143) Full Text: DOI arXiv Link
Aiguier, Marc; Boulanger, Frédéric; Kanso, Bilal A formal abstract framework for modelling and testing complex software systems. (English) Zbl 1279.68193 Theor. Comput. Sci. 455, 66-97 (2012). MSC: 68Q60 68N30 68Q65 PDFBibTeX XMLCite \textit{M. Aiguier} et al., Theor. Comput. Sci. 455, 66--97 (2012; Zbl 1279.68193) Full Text: DOI
Morgan, Carroll Compositional noninterference from first principles. (English) Zbl 1242.68071 Formal Asp. Comput. 24, No. 1, 3-26 (2012). MSC: 68N30 PDFBibTeX XMLCite \textit{C. Morgan}, Formal Asp. Comput. 24, No. 1, 3--26 (2012; Zbl 1242.68071) Full Text: DOI
Cavalcanti, Ana; Gaudel, Marie-Claude Testing for refinement in Circus. (English) Zbl 1237.68059 Acta Inf. 48, No. 2, 97-147 (2011). MSC: 68N30 68N15 68Q55 PDFBibTeX XMLCite \textit{A. Cavalcanti} and \textit{M.-C. Gaudel}, Acta Inf. 48, No. 2, 97--147 (2011; Zbl 1237.68059) Full Text: DOI
Peres, Florent; Berthomieu, Bernard; Vernadat, François On the composition of time Petri nets. (English) Zbl 1238.68101 Discrete Event Dyn. Syst. 21, No. 3, 395-424 (2011). Reviewer: Maciej Koutny (Newcastle upon Tyne) MSC: 68Q85 68Q60 68Q55 68N19 68N30 68M14 68M15 PDFBibTeX XMLCite \textit{F. Peres} et al., Discrete Event Dyn. Syst. 21, No. 3, 395--424 (2011; Zbl 1238.68101) Full Text: DOI
Yang, Linmin; Dang, Zhe; Fischer, Thomas R. Information gain of black-box testing. (English) Zbl 1226.68031 Formal Asp. Comput. 23, No. 4, 513-539 (2011). MSC: 68N30 68Q45 68Q55 PDFBibTeX XMLCite \textit{L. Yang} et al., Formal Asp. Comput. 23, No. 4, 513--539 (2011; Zbl 1226.68031) Full Text: DOI
Haenni, Rolf; Romeijn, Jan-Willem; Wheeler, Gregory; Williamson, Jon Probabilistic logics and probabilistic networks. (English) Zbl 1213.03031 Synthese Library 350. Dordrecht: Springer (ISBN 978-94-007-0007-9/hbk; 978-94-007-0008-6/ebook). xiii, 155 p. (2011). Reviewer: Jürgen Landes (München) MSC: 03B48 62F03 62F15 68T37 03-02 PDFBibTeX XMLCite \textit{R. Haenni} et al., Probabilistic logics and probabilistic networks. Dordrecht: Springer (2011; Zbl 1213.03031) Full Text: DOI
Bourdonov, I. B.; Kossatchev, A. S. Interaction semantics with refusals, divergence, and destruction. (English. Russian original) Zbl 1251.68077 Program. Comput. Softw. 36, No. 5, 247-263 (2010); translation from Programmirovanie 36, No. 5 (2010). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{I. B. Bourdonov} and \textit{A. S. Kossatchev}, Program. Comput. Softw. 36, No. 5, 247--263 (2010; Zbl 1251.68077); translation from Programmirovanie 36, No. 5 (2010) Full Text: DOI
Afrati, Foto N.; Damigos, Matthew; Gergatsoulis, Manolis Query containment under bag and bag-set semantics. (English) Zbl 1229.68031 Inf. Process. Lett. 110, No. 10, 360-369 (2010). MSC: 68P15 PDFBibTeX XMLCite \textit{F. N. Afrati} et al., Inf. Process. Lett. 110, No. 10, 360--369 (2010; Zbl 1229.68031) Full Text: DOI
von Styp, Sabrina; Bohnenkamp, Henrik; Schmaltz, Julien A conformance testing relation for symbolic timed automata. (English) Zbl 1290.68085 Chatterjee, Krishnendu (ed.) et al., Formal modeling and analysis of timed systems. 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8–10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15296-2/pbk). Lecture Notes in Computer Science 6246, 243-255 (2010). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. von Styp} et al., Lect. Notes Comput. Sci. 6246, 243--255 (2010; Zbl 1290.68085) Full Text: DOI
Kanso, Bilal; Aiguier, Marc; Boulanger, Frédéric; Touil, Assia Testing of abstract components. (English) Zbl 1286.68082 Cavalcanti, Ana (ed.) et al., Theoretical aspects of computing – ICTAC 2010. 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1–3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14807-1/pbk). Lecture Notes in Computer Science 6255, 184-198 (2010). MSC: 68N30 18C20 PDFBibTeX XMLCite \textit{B. Kanso} et al., Lect. Notes Comput. Sci. 6255, 184--198 (2010; Zbl 1286.68082) Full Text: DOI Link
Padovani, Luca Contract-based discovery of Web services modulo simple orchestrators. (English) Zbl 1209.68038 Theor. Comput. Sci. 411, No. 37, 3328-3347 (2010). MSC: 68M11 PDFBibTeX XMLCite \textit{L. Padovani}, Theor. Comput. Sci. 411, No. 37, 3328--3347 (2010; Zbl 1209.68038) Full Text: DOI Link
Huang, Xiaowei; Jiao, Li; Lu, Weiming A precongruence format for should testing preorder. (English) Zbl 1208.68108 J. Log. Algebr. Program. 79, No. 3-5, 245-263 (2010). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{X. Huang} et al., J. Log. Algebr. Program. 79, No. 3--5, 245--263 (2010; Zbl 1208.68108) Full Text: DOI
Escardó, Martín Semi-decidability of may, must and probabilistic testing in a higher-type setting. (English) Zbl 1337.68068 Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 219-242 (2009). MSC: 68N30 68Q05 68Q10 68Q55 PDFBibTeX XMLCite \textit{M. Escardó}, Electron. Notes Theor. Comput. Sci. 249, 219--242 (2009; Zbl 1337.68068) Full Text: DOI
Ţăpuş, Cristian; Hickey, Jason Distributed speculative execution for reliability and fault tolerance: an operational semantics. (English) Zbl 1267.68063 Distrib. Comput. 21, No. 6, 433-455 (2009). MSC: 68M14 68M15 PDFBibTeX XMLCite \textit{C. Ţăpuş} and \textit{J. Hickey}, Distrib. Comput. 21, No. 6, 433--455 (2009; Zbl 1267.68063) Full Text: DOI
Davulcu, Hasan; Mukhopadhyay, Supratik; Singh, Prabhdeep; Yau, Stephen S. Default \(\alpha \)-logic for modeling customizable failure semantics in workflow systems using dynamic reconfiguration constraints. (English) Zbl 1213.68132 Ślȩzak, Dominik (ed.) et al., Grid and distributed computing. International conference, GDC 2009, held as part of the future generation information technology conference, FGIT 2009, Jeju Island, Korea, December 10–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10548-7/pbk; 978-3-642-10549-4/ebook). Communications in Computer and Information Science 63, 49-56 (2009). MSC: 68M15 68M10 68T27 PDFBibTeX XMLCite \textit{H. Davulcu} et al., Commun. Comput. Inf. Sci. 63, 49--56 (2009; Zbl 1213.68132) Full Text: DOI
Aichernig, Bernhard K.; Jifeng, He Mutation testing in UTP. (English) Zbl 1165.68022 Formal Asp. Comput. 21, No. 1-2, 33-64 (2009). MSC: 68N01 68Q55 PDFBibTeX XMLCite \textit{B. K. Aichernig} and \textit{H. Jifeng}, Formal Asp. Comput. 21, No. 1--2, 33--64 (2009; Zbl 1165.68022) Full Text: DOI HAL
Llana, Luis; Núñez, Manuel Testing semantics for RTPA. (English) Zbl 1161.68711 Fundam. Inform. 90, No. 3, 305-335 (2009). MSC: 68T01 68Q85 PDFBibTeX XMLCite \textit{L. Llana} and \textit{M. Núñez}, Fundam. Inform. 90, No. 3, 305--335 (2009; Zbl 1161.68711) Full Text: DOI
Cacciagrano, Diletta; Corradini, Flavio; Aranda, Jesús; Valencia, Frank D. Linearity, persistence and testing semantics in the asynchronous pi-calculus. (English) Zbl 1277.68167 Amadio, Roberto (ed.) et al., Proceedings of the 14th international workshop on expressiveness in concurrency (EXPRESS 2007), Lisbon, Portugal, September 3, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 194, No. 2, 59-84 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Cacciagrano} et al., Electron. Notes Theor. Comput. Sci. 194, No. 2, 59--84 (2008; Zbl 1277.68167) Full Text: DOI
Cacciagrano, Diletta; Corradini, Flavio; Palamidessi, Catuscia Fair \(\pi\). (English) Zbl 1277.68168 Amadio, Roberto (ed.) et al., Proceedings of the 13th international workshop on expressiveness in concurrency (EXPRESS 2006), Bonn, Germany, August 26, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 3, 3-26 (2007). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{D. Cacciagrano} et al., Electron. Notes Theor. Comput. Sci. 175, No. 3, 3--26 (2007; Zbl 1277.68168) Full Text: DOI
Deng, Yuxin; Van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll; Zhang, Chenyi Remarks on testing probabilistic processes. (English) Zbl 1277.68121 Cardelli, Luca (ed.) et al., Computation, meaning, and logic. Articles dedicated to Gordon Plotkin. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 172, 359-397 (2007). MSC: 68Q55 68Q85 68Q87 PDFBibTeX XMLCite \textit{Y. Deng} et al., Electron. Notes Theor. Comput. Sci. 172, 359--397 (2007; Zbl 1277.68121) Full Text: DOI
Cacciagrano, D.; Corradini, F.; Palamidessi, C. Separation of synchronous and asynchronous communication via testing. (English) Zbl 1143.68051 Theor. Comput. Sci. 386, No. 3, 218-235 (2007). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Cacciagrano} et al., Theor. Comput. Sci. 386, No. 3, 218--235 (2007; Zbl 1143.68051) Full Text: DOI Link
Llana-Díaz, Luis F.; de Frutos-Escrig, David; Núñez, Manuel Testing semantics for urgent timed process algebras. (English) Zbl 1123.68082 Ionescu, Dan (ed.) et al., Real-time-systems. Modeling, design and applications. Selected papers based on the presentations at the AMAST workshops. Hackensack, NJ: World Scientific (ISBN 981-02-4424-X/hbk). AMAST Series in Computing 8, 221-235 (2007). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{L. F. Llana-Díaz} et al., AMAST Ser. Comput. 8, 221--235 (2007; Zbl 1123.68082)
Cuartero, Fernando; Valero, Valentín; de Frutos, David A model of probabilistic processes. (English) Zbl 1123.68079 Ionescu, Dan (ed.) et al., Real-time-systems. Modeling, design and applications. Selected papers based on the presentations at the AMAST workshops. Hackensack, NJ: World Scientific (ISBN 981-02-4424-X/hbk). AMAST Series in Computing 8, 57-76 (2007). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{F. Cuartero} et al., AMAST Ser. Comput. 8, 57--76 (2007; Zbl 1123.68079)
Bernardo, Marco Non-bisimulation-based Markovian behavioral equivalences. (English) Zbl 1121.68077 J. Log. Algebr. Program. 72, No. 1, 3-49 (2007). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{M. Bernardo}, J. Log. Algebr. Program. 72, No. 1, 3--49 (2007; Zbl 1121.68077) Full Text: DOI
Rensink, Arend; Vogler, Walter Fair testing. (English) Zbl 1109.68077 Inf. Comput. 205, No. 2, 125-198 (2007). MSC: 68Q85 68Q55 68Q60 68M15 PDFBibTeX XMLCite \textit{A. Rensink} and \textit{W. Vogler}, Inf. Comput. 205, No. 2, 125--198 (2007; Zbl 1109.68077) Full Text: DOI Link
Boreale, Michele; Gadducci, Fabio Processes as formal power series: a coinductive approach to denotational semantics. (English) Zbl 1097.68070 Theor. Comput. Sci. 360, No. 1-3, 440-458 (2006). MSC: 68Q55 68Q85 PDFBibTeX XMLCite \textit{M. Boreale} and \textit{F. Gadducci}, Theor. Comput. Sci. 360, No. 1--3, 440--458 (2006; Zbl 1097.68070) Full Text: DOI
Massink, Mieke; Latella, Diego; Gnesi, Stefania On testing UML statecharts. (English) Zbl 1101.68014 J. Log. Algebr. Program. 69, No. 1-2, 1-74 (2006). MSC: 68N15 68Q60 68Q85 PDFBibTeX XMLCite \textit{M. Massink} et al., J. Log. Algebr. Program. 69, No. 1--2, 1--74 (2006; Zbl 1101.68014) Full Text: DOI
Qiu, Zongyan; Wang, Shuling; Pu, Geguang; Zhao, Xiangpeng Semantics of BPEL4WS-like fault and compensation handling. (English) Zbl 1120.68324 Fitzgerald, John (ed.) et al., FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27882-6/pbk). Lecture Notes in Computer Science 3582, 350-365 (2005). MSC: 68M10 68M15 PDFBibTeX XMLCite \textit{Z. Qiu} et al., Lect. Notes Comput. Sci. 3582, 350--365 (2005; Zbl 1120.68324) Full Text: DOI
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert Measuring the confinement of probabilistic systems. (English) Zbl 1142.68444 Theor. Comput. Sci. 340, No. 1, 3-56 (2005). MSC: 68Q85 68Q10 68Q55 60C05 PDFBibTeX XMLCite \textit{A. Di Pierro} et al., Theor. Comput. Sci. 340, No. 1, 3--56 (2005; Zbl 1142.68444) Full Text: DOI
Palamidessi, Catuscia; Herescu, Oltea Mihaela A randomized encoding of the \(\pi\)-calculus with mixed choice. (English) Zbl 1080.68080 Theor. Comput. Sci. 335, No. 2-3, 373-404 (2005). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{C. Palamidessi} and \textit{O. M. Herescu}, Theor. Comput. Sci. 335, No. 2--3, 373--404 (2005; Zbl 1080.68080) Full Text: DOI
van Breugel, Franck; Mislove, Michael; Ouaknine, Joël; Worrell, James Domain theory, testing and simulation for labelled Markov processes. (English) Zbl 1070.68108 Theor. Comput. Sci. 333, No. 1-2, 171-197 (2005). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{F. van Breugel} et al., Theor. Comput. Sci. 333, No. 1--2, 171--197 (2005; Zbl 1070.68108) Full Text: DOI
Nestmann, Uwe; Fuzzati, Rachele Unreliable failure detectors via operational semantics. (English) Zbl 1215.68056 Saraswat, Vijay A. (ed.), Advances in computing science – ASIAN 2003. Programming languages and distributed computation. 8th Asian computing science conference, Mumbai, India, December 10–12, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20632-9/pbk). Lect. Notes Comput. Sci. 2896, 54-71 (2003). MSC: 68N15 68M14 68M15 68Q55 PDFBibTeX XMLCite \textit{U. Nestmann} and \textit{R. Fuzzati}, Lect. Notes Comput. Sci. 2896, 54--71 (2003; Zbl 1215.68056) Full Text: DOI
Boreale, Michele; Gadducci, Fabio Denotational testing semantics in coinductive form. (English) Zbl 1124.68383 Rovan, Branislav (ed.) et al., Mathematical foundations of computer science 2003. 28th international symposium, MFCS 2003, Bratislava, Slovakia, August 25–29, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40671-9/pbk). Lect. Notes Comput. Sci. 2747, 279-289 (2003). MSC: 68Q55 68Q70 68Q85 PDFBibTeX XMLCite \textit{M. Boreale} and \textit{F. Gadducci}, Lect. Notes Comput. Sci. 2747, 279--289 (2003; Zbl 1124.68383) Full Text: DOI
Núñez, Manuel Algebraic theory of probabilistic processes. (English) Zbl 1048.68057 J. Log. Algebr. Program. 56, No. 1-2, 117-177 (2003). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Núñez}, J. Log. Algebr. Program. 56, No. 1--2, 117--177 (2003; Zbl 1048.68057) Full Text: DOI
Cazorla, Diego; Cuartero, Fernando; Valero, Valentín; Pelayo, Fernando L.; Pardo, J. José Algebraic theory of probabilistic and nondeterministic processes. (English) Zbl 1054.68091 J. Log. Algebr. Program. 55, No. 1-2, 57-103 (2003). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Cazorla} et al., J. Log. Algebr. Program. 55, No. 1--2, 57--103 (2003; Zbl 1054.68091) Full Text: DOI
Pedone, F.; Schiper, A. Handling message semantics with generic broadcast protocols. (English) Zbl 1448.68155 Distrib. Comput. 15, No. 2, 97-107 (2002). MSC: 68M14 68M15 PDFBibTeX XMLCite \textit{F. Pedone} and \textit{A. Schiper}, Distrib. Comput. 15, No. 2, 97--107 (2002; Zbl 1448.68155) Full Text: DOI Link
Jonsson, Bengt; Yi, Wang Testing preorders for probabilistic processes can be characterized by simulations. (English) Zbl 0997.68082 Theor. Comput. Sci. 282, No. 1, 33-51 (2002). MSC: 68Q85 PDFBibTeX XMLCite \textit{B. Jonsson} and \textit{W. Yi}, Theor. Comput. Sci. 282, No. 1, 33--51 (2002; Zbl 0997.68082) Full Text: DOI
Bozhenkova, E. N. Towards decidability of timed testing. (English) Zbl 1004.68092 Jt. Bull. NCC IIS, Ser. Comput. Sci. 15, 17-29 (2001). MSC: 68Q55 PDFBibTeX XMLCite \textit{E. N. Bozhenkova}, Jt. Bull. NCC IIS, Ser. Comput. Sci. 15, 17--29 (2001; Zbl 1004.68092)
Boreale, M.; Nicola, R. D.; Pugliese, R. Divergence in testing and readiness semantics. (English) Zbl 0989.68084 Theor. Comput. Sci. 266, No. 1-2, 237-248 (2001). MSC: 68Q55 PDFBibTeX XMLCite \textit{M. Boreale} et al., Theor. Comput. Sci. 266, No. 1--2, 237--248 (2001; Zbl 0989.68084) Full Text: DOI
Bozhenkova, E. N.; Virbitskaite, I. B. Analysis of equivalence relations of event structures with continuous time. (English. Russian original) Zbl 0968.68111 Program. Comput. Softw. 26, No. 5, 249-257 (2000); translation from Programmirovanie 2000, No. 5, 18-30 (2000). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{E. N. Bozhenkova} and \textit{I. B. Virbitskaite}, Program. Comput. Softw. 26, No. 5, 249--257 (2000; Zbl 0968.68111); translation from Programmirovanie 2000, No. 5, 18--30 (2000) Full Text: DOI
Ruggieri, Salvatore Decidability of logic program semantics and applications to testing. (English) Zbl 0965.68051 J. Log. Program. 46, No. 1-2, 103-137 (2000). MSC: 68Q55 68N17 PDFBibTeX XMLCite \textit{S. Ruggieri}, J. Log. Program. 46, No. 1--2, 103--137 (2000; Zbl 0965.68051) Full Text: DOI
Ulidowski, I. Finite axiom systems for testing preorder and De Simone process languages. (English) Zbl 0944.68125 Theor. Comput. Sci. 239, No. 1, 97-139 (2000). MSC: 68Q60 PDFBibTeX XMLCite \textit{I. Ulidowski}, Theor. Comput. Sci. 239, No. 1, 97--139 (2000; Zbl 0944.68125) Full Text: DOI
Llana Díaz, Luis Fernando; de Frutos Escrig, David Relating may and must testing semantics for discrete timed process algebras. (English) Zbl 0959.68089 Thiagarajan, P. S. (ed.) et al., Advances in computing science - ASIAN ’99. 5th Asian computing science conference, Phuket, Thailand, December 8-10, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1742, 74-86 (1999). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{L. F. Llana Díaz} and \textit{D. de Frutos Escrig}, Lect. Notes Comput. Sci. 1742, 74--86 (1999; Zbl 0959.68089)
Schneider, Steve Abstraction and testing. (English) Zbl 0954.68016 Wing, Jeannette M. (ed.) et al., FM ’99. Formal methods. World congress on Formal methods in the development of computing systems. Toulouse, France, September 20–24, 1999. Proceedings. In 2 vols. Berlin: Springer (ISBN 3-540-66587-0/vol1; 3-540-66588-9/vol2). Lect. Notes Comput. Sci. 1708; 1709, 738-757 (1999). MSC: 68M15 PDFBibTeX XMLCite \textit{S. Schneider}, Lect. Notes Comput. Sci. 1708, 738--757 (1999; Zbl 0954.68016)
Núñez, Manuel; Rupérez, David Fair testing through probabilistic testing. (English) Zbl 0952.68091 Wu, Jianping (ed.) et al., Formal methods for protocol engineering and distributed systems. FORTE XII/ PSTV XIX ’99. IFIP TC6 WG6.1 joint international conference on Formal description techniques for distributed systems and communication protocols (FORTE XII) and protocol specification, testing and verification (PSTV XIX). Beijing, China, October 5-8, 1999. Boston: Kluwer Academic Publishers. Int. Fed. Inf. Process., IFIP. 28, 135-150 (1999). MSC: 68Q55 68Q10 PDFBibTeX XMLCite \textit{M. Núñez} and \textit{D. Rupérez}, in: Formal methods for protocol engineering and distributed systems. FORTE XII/ PSTV XIX '99. IFIP TC6 WG6. 1 joint international conference on Formal description techniques for distributed systems and communication protocols (FORTE XII) and protocol specification, testing and verification (PSTV XIX). Beijing, China, October 5--8, 1999. Boston: Kluwer Academic Publishers. 135--150 (1999; Zbl 0952.68091)
Ferreira, William; Hennessy, Matthew A behavioural theory of first-order CML. (English) Zbl 0915.68111 Theor. Comput. Sci. 216, No. 1-2, 55-107 (1999). MSC: 68Q55 PDFBibTeX XMLCite \textit{W. Ferreira} and \textit{M. Hennessy}, Theor. Comput. Sci. 216, No. 1--2, 55--107 (1999; Zbl 0915.68111) Full Text: DOI
Gregorio-Rodríguez, Carlos; Nuñez, Manuel Denotational semantics for probabilistic refusal testing. (English) Zbl 0920.68066 Baier, Christel (ed.) et al., Proceedings of the 1st international workshop on Probabilistic methods in verification (PROBMIV ’98), Indianapolis, IN, USA, June 19–20, 1998 (satellite event to the 13th international IEEE symposium on Logic in computer science, LICS ’98). Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 22, Electronic paper No. 9, (1998). MSC: 68Q55 PDFBibTeX XMLCite \textit{C. Gregorio-Rodríguez} and \textit{M. Nuñez}, in: Proceedings of the 1st international workshop on Probabilistic methods in verification (PROBMIV '98), Indianapolis, IN, USA, June 19--20, 1998 (satellite event to the 13th international IEEE symposium on Logic in computer science, LICS '98). Amsterdam: Elsevier. Electronic paper No. 9, (1998; Zbl 0920.68066) Full Text: Link
de Frutos-Escrig, David; Llana-Díaz, Luis; Núñez, Manuel An invitation to friendly testing. (English) Zbl 0912.68127 J. Comput. Sci. Technol. 13, No. 6, 531-545 (1998). MSC: 68Q55 68Q10 PDFBibTeX XMLCite \textit{D. de Frutos-Escrig} et al., J. Comput. Sci. Technol. 13, No. 6, 531--545 (1998; Zbl 0912.68127) Full Text: DOI
Hao, Ruibing; Wu, Jianping A formal approach to protocol interoperability testing. (English) Zbl 0893.68040 J. Comput. Sci. Technol. 13, No. 1, 79-90 (1998). MSC: 68N99 68Q55 PDFBibTeX XMLCite \textit{R. Hao} and \textit{J. Wu}, J. Comput. Sci. Technol. 13, No. 1, 79--90 (1998; Zbl 0893.68040) Full Text: DOI
Díaz, Luis Fdo. Llana; Núñez, Manuel Testing semantics for unbounded nondeterminism. (English) Zbl 0996.68852 Lengauer, Christian (ed.) et al., Euro-par ’97 parallel processing. 3rd international Euro-Par conference, Passau, Germany, August 26-29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1300, 538-545 (1997). MSC: 68U99 68Q55 68Q85 PDFBibTeX XMLCite \textit{L. Fdo. L. Díaz} and \textit{M. Núñez}, Lect. Notes Comput. Sci. 1300, 538--545 (1997; Zbl 0996.68852)
Yuen, Shoji; Sakabe, Toshiki; Inagaki, Yasuyoshi Symbolic alternative characterizations of testing preorder for regular timed processes. (English) Zbl 0947.68057 RIMS Kokyuroku 996, 5-22 (1997). MSC: 68Q10 68Q55 68Q60 PDFBibTeX XMLCite \textit{S. Yuen} et al., RIMS Kokyuroku 996, 5--22 (1997; Zbl 0947.68057)
King, Peter R. A logic based formalism for temporal constraints. (English) Zbl 0887.68102 Nicholas, Charles (ed.) et al., Principles of document processing. 3rd international workshop, PODP ’96, Palo Alto, CA, USA, September 23, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1293, 87-101 (1997). Reviewer: N.Curteanu (Iaşi) MSC: 68T27 03B80 03B45 68P20 68T30 PDFBibTeX XMLCite \textit{P. R. King}, Lect. Notes Comput. Sci. 1293, 87--101 (1997; Zbl 0887.68102)
Plotkin, Gordon; Pratt, Vaughan Teams can see pomsets. (Preliminary version). (English) Zbl 0880.68082 Peled, Doron A. (ed.) et al., Partial order methods in verification. DIMACS workshop, July 24-26, 1996, Princeton Univ., Princeton, NJ, USA. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 29, 117-128 (1997). MSC: 68Q55 PDFBibTeX XMLCite \textit{G. Plotkin} and \textit{V. Pratt}, DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 29, 117--128 (1997; Zbl 0880.68082)
Mosses, Peter D. (ed.); Nielsen, Mogens (ed.); Schwartzbach, Michael I. (ed.) TAPSOFT ’95: Theory and practice of software development. 6th international joint conference CAAP/FASE, Aarhus, Denmark, May 1995. Proceedings. (English) Zbl 0835.68002 Lecture Notes in Computer Science 915. Berlin: Springer-Verlag. xv, 810 p. (1995). Reviewer: M.Gheorghe MSC: 68-06 00B25 68Q42 68Q45 68Q10 68N99 68Q55 PDFBibTeX XMLCite \textit{P. D. Mosses} (ed.) et al., TAPSOFT '95: Theory and practice of software development. 6th international joint conference CAAP/FASE, Aarhus, Denmark, May 1995. Proceedings. Berlin: Springer-Verlag (1995; Zbl 0835.68002) Full Text: DOI
Natarajan, V.; Cleaveland, Rance Divergence and fair testing. (English) Zbl 1412.68155 Fülöp, Zoltán (ed.) et al., Automata, languages and programming. 22nd international colloquium, ICALP ’95, Szeged, Hungary, July 10–14, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 944, 648-659 (1995). MSC: 68Q85 68Q10 68Q55 PDFBibTeX XMLCite \textit{V. Natarajan} and \textit{R. Cleaveland}, Lect. Notes Comput. Sci. 944, 648--659 (1995; Zbl 1412.68155) Full Text: DOI
Krishnan, Padmanabhan A semantic characterization for faults in replicated systems. (English) Zbl 0812.68091 Theor. Comput. Sci. 128, No. 1-2, 159-177 (1994). Reviewer: F.Belli (Paderborn) MSC: 68Q60 68M15 68Q55 PDFBibTeX XMLCite \textit{P. Krishnan}, Theor. Comput. Sci. 128, No. 1--2, 159--177 (1994; Zbl 0812.68091) Full Text: DOI
Vogler, Walter Timed testing of concurrent systems. (English) Zbl 1422.68175 Lingas, Andrzej (ed.) et al., Automata, languages and programming. 20th international colloquium, ICALP 93, Lund, Sweden, July 5–9, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 700, 532-543 (1993). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{W. Vogler}, Lect. Notes Comput. Sci. 700, 532--543 (1993; Zbl 1422.68175) Full Text: DOI
Hennessy, M.; Ingólfsdóttir, A. Communicating processes with value-passing and assignments. (English) Zbl 0784.68055 Formal Asp. Comput. 5, No. 5, 432-466 (1993). MSC: 68Q55 68Q10 PDFBibTeX XMLCite \textit{M. Hennessy} and \textit{A. Ingólfsdóttir}, Formal Asp. Comput. 5, No. 5, 432--466 (1993; Zbl 0784.68055) Full Text: DOI
Henzinger, Thomas A. Sooner is safer than later. (English) Zbl 0753.68041 Inf. Process. Lett. 43, No. 3, 135-141 (1992). MSC: 68Q10 68M15 PDFBibTeX XMLCite \textit{T. A. Henzinger}, Inf. Process. Lett. 43, No. 3, 135--141 (1992; Zbl 0753.68041) Full Text: DOI
Kowalk, Wolfgang Peter Correct software. (Korrekte Software.) (German) Zbl 0811.68022 Mannheim: B. I. Wissenschaftsverlag. 310 p. DM 48.00 /sc (1992). MSC: 68-01 68M15 68N01 68N15 68Q60 68Q55 PDFBibTeX XMLCite \textit{W. P. Kowalk}, Korrekte Software. Mannheim: B. I. Wissenschaftsverlag (1992; Zbl 0811.68022)
Singh, Satnam Circuit analysis by non-standard interpretation. (English) Zbl 0800.68540 Designing correct circuits, Proc. 2nd IFIP WG 10.2/ WG 10.5 Workshop, Lyngby/Denmark 1992, 119-138 (1992). MSC: 68Q55 68N15 94C12 68N20 PDFBibTeX XMLCite \textit{S. Singh}, in: Designing correct circuits. Proceedings of the 2nd IFIP WG 10.2/WG 10.5 workshop, Lyngby, Denmark, 6-8 January 1992. Amsterdam etc.: North-Holland. 119--138 (1992; Zbl 0800.68540)
Saraswat, Vijay (ed.); Ueda, Kazunori (ed.) Logic programming: Proceedings of the 1991 international symposium held in San Diego, CA, USA, October 28 - November 1, 1991. (English) Zbl 0816.68040 London: MIT Press,. xviii, 740 p. (1991). MSC: 68N17 68-06 68M15 68Q42 68Q55 68W10 PDFBibTeX XMLCite \textit{V. Saraswat} (ed.) and \textit{K. Ueda} (ed.), Logic programming: Proceedings of the 1991 international symposium held in San Diego, CA, USA, October 28 - November 1, 1991. London: MIT Press (1991; Zbl 0816.68040)
Jonsson, Bengt (ed.); Parrow, Joachim (ed.); Pehrson, Björn (ed.) Protocol specification, testing, and verification, XI. Proceedings of the IFIP WG 6.1 11th international symposium, Stockholm, Sweden, 18-20 June, 1991. (English) Zbl 0800.68103 Amsterdam etc.: North-Holland. XIII, 365 p. (1991). MSC: 68-06 00B25 PDFBibTeX XMLCite \textit{B. Jonsson} (ed.) et al., Protocol specification, testing, and verification, XI. Proceedings of the IFIP WG 6.1 11th international symposium, Stockholm, Sweden, 18-20 June, 1991. Amsterdam etc.: North-Holland (1991; Zbl 0800.68103)
Hiraishi, Hiromi; Meki, Shintaro; Hamaguchi, Kiyoharu Vectorized model checking for computation tree logic. (English) Zbl 0774.68079 Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/ NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 219-230 (1991). Reviewer: L.Brim (Brno) MSC: 68Q55 03B45 68M15 03-04 PDFBibTeX XMLCite \textit{H. Hiraishi} et al., in: Computer-aided verification '90. Proceedings of a 2nd DIMACS workshop, June 18-21, 1990, Rutgers Univ., New Brunswick, NJ, USA. Providence, RI: American Mathematical Society; New York, NY: Association for Computing Machinery. 219--230 (1991; Zbl 0774.68079)
Probst, David K.; Li, Hon F. Using partial-order semantics to avoid the state explosion problem in asynchronous systems. (English) Zbl 0800.94302 Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 15-24 (1991). MSC: 94C12 68Q55 68Q60 PDFBibTeX XMLCite \textit{D. K. Probst} and \textit{H. F. Li}, in: Computer-aided verification '90. Proceedings of a 2nd DIMACS workshop, June 18-21, 1990, Rutgers Univ., New Brunswick, NJ, USA. Providence, RI: American Mathematical Society; New York, NY: Association for Computing Machinery. 15--24 (1991; Zbl 0800.94302)
Bouajjani, A.; Fernandez, J. C.; Graf, S.; Rodriguez, C.; Sifakis, J. Safety for branching time semantics. (English) Zbl 0769.68089 Automata, languages and programming, Proc. 18th Int. Colloq., Madrid/Spain 1991, Lect. Notes Comput. Sci. 510, 76-92 (1991). MSC: 68Q60 68Q55 03B70 PDFBibTeX XMLCite \textit{A. Bouajjani} et al., Lect. Notes Comput. Sci. 510, 76--92 (1991; Zbl 0769.68089)
Kreowski, Hans-Jörg Mathematical aspects of systems specification. (English) Zbl 0744.68100 Bull. EATCS 44, 144-146 (1991). MSC: 68Q65 68N99 PDFBibTeX XMLCite \textit{H.-J. Kreowski}, Bull. EATCS 44, 144--146 (1991; Zbl 0744.68100)
Feder, Christiane Ausnahmebehandlung in objektorientierten Programmiersprachen. (German) Zbl 0701.68006 Informatik-Fachberichte, 235. Berlin etc.: Springer-Verlag. IX, 250 p. DM 45.00 (1990). Reviewer: H.-J.Hoffmann MSC: 68M15 68-02 68Q55 68Q60 PDFBibTeX XMLCite \textit{C. Feder}, Ausnahmebehandlung in objektorientierten Programmiersprachen. Berlin etc.: Springer-Verlag (1990; Zbl 0701.68006)
Hennessy, M.; Ingólfsdóttir, A. A theory of communicating processes with value-passing. (English) Zbl 0765.68105 Automata, languages and programming, Proc. 17th Int. Colloq., Warwick/GB 1990, Lect. Notes Comput. Sci. 443, 209-219 (1990). MSC: 68Q55 68Q10 PDFBibTeX XMLCite \textit{M. Hennessy} and \textit{A. Ingólfsdóttir}, Lect. Notes Comput. Sci. 443, 209--219 (1990; Zbl 0765.68105)
Main, Michael G. Trace, failure and testing equivalences for communicating processes. (English) Zbl 0646.68033 Int. J. Parallel Program. 16, No. 5, 383-400 (1987). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{M. G. Main}, Int. J. Parallel Program. 16, No. 5, 383--400 (1987; Zbl 0646.68033) Full Text: DOI
Bălănescu, Tudor; Gheorghe, Marian Program tracing and languages of action. (English) Zbl 0646.68014 Rev. Roum. Linguist. 32, No. 2, 167-170 (1987). MSC: 68Q60 68Q55 PDFBibTeX XML
Abramsky, Samson Observation equivalence as a testing equivalence. (English) Zbl 0626.68016 Theor. Comput. Sci. 53, 225-241 (1987). MSC: 68N25 PDFBibTeX XMLCite \textit{S. Abramsky}, Theor. Comput. Sci. 53, 225--241 (1987; Zbl 0626.68016) Full Text: DOI
Chebotar’, K. S. Some algorithms for realizing translation systems by the method of attributive grammars. (Russian) Zbl 0534.68059 Mat. Issled. 69, 91-100 (1982). Reviewer: M.Chytil MSC: 68Q55 68Q45 68T50 PDFBibTeX XMLCite \textit{K. S. Chebotar'}, Mat. Issled. 69, 91--100 (1982; Zbl 0534.68059)
Chuaqui, Rolando Foundations of statistical methods using a semantical definition of probability. (English) Zbl 0469.03024 Mathematical logic in Latin America, Proc. Symp., Santiago 1978, 103-120 (1980). MSC: 03C99 62A01 60G05 60A05 PDFBibTeX XML
Klix, Friedhart (ed.) [Klix, F.; Nilsson, N. J.; Norman, D. A.; Pospelov, D. A.; Scandura, J. M.; Simon, H. A.; Dörner, D.; Jülisch, B.; Klein, R.; Krause, W.; Kukla, F.; Briabrin, V. M.; Howe, J.; Schank, R. C.; Lehner, W.; O’Shea, T.; Richard, J. F.; Hoffman, J.; van der Meer, E.; Lehmann, E.] Human and artificial intelligence. Articles presented at the XXI international conference of psychology, Paris, 18-25 July, 1976. Licenced ed. (English) Zbl 0414.68065 Fundamental Studies in Computer Science, 8. Amsterdam-New York-Oxford: North-Holland Publishing Company. XV, 227 p. Dfl. 75.00; $ 36.50 (1979). MSC: 68T99 91E99 68T20 68Q55 68-06 92-06 PDFBibTeX XML