Khandelwal, Anju; Saxena, Suneet; Kumar, Avanish Optimization of fuzzy assignment problem using R. (English) Zbl 07788665 Jñānābha 52, No. 2, 58-67 (2022). MSC: 90-04 90-05 90C08 90C70 PDFBibTeX XMLCite \textit{A. Khandelwal} et al., Jñānābha 52, No. 2, 58--67 (2022; Zbl 07788665) Full Text: DOI
Biel, Martin; Johansson, Mikael Efficient stochastic programming in Julia. (English) Zbl 07587547 INFORMS J. Comput. 34, No. 4, 1885-1902 (2022). MSC: 90Cxx PDFBibTeX XMLCite \textit{M. Biel} and \textit{M. Johansson}, INFORMS J. Comput. 34, No. 4, 1885--1902 (2022; Zbl 07587547) Full Text: DOI arXiv
Chopp, D. L. Introduction to high performance scientific computing. (English) Zbl 1453.65001 Software - Environments - Tools 30. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-1-61197-563-5/pbk). xiii, 455 p. (2019). Reviewer: Michael Jung (Dresden) MSC: 65-01 65-04 65Y05 65Y10 PDFBibTeX XMLCite \textit{D. L. Chopp}, Introduction to high performance scientific computing. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (2019; Zbl 1453.65001)
Ardeshir-Larijani, Ebrahim; Gay, Simon J.; Nagarajan, Rajagopal Automated equivalence checking of concurrent quantum systems. (English) Zbl 1407.68276 ACM Trans. Comput. Log. 19, No. 4, Article No. 28, 32 p. (2018). MSC: 68Q60 68Q12 68Q85 81P45 81P68 PDFBibTeX XMLCite \textit{E. Ardeshir-Larijani} et al., ACM Trans. Comput. Log. 19, No. 4, Article No. 28, 32 p. (2018; Zbl 1407.68276) Full Text: DOI Link
Garavel, Hubert; Lang, Frédéric; Serwe, Wendelin From LOTOS to LNT. (English) Zbl 1498.68062 Katoen, Joost-Pieter (ed.) et al., ModelEd, testEd, trustEd. Essays dedicated to Ed Brinksma on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10500, 3-26 (2017). MSC: 68N15 68N20 68Q60 68Q65 68Q85 PDFBibTeX XMLCite \textit{H. Garavel} et al., Lect. Notes Comput. Sci. 10500, 3--26 (2017; Zbl 1498.68062) Full Text: DOI
You, Zhen; Xue, Jinyun Orchestration combinators in Apla+ language. (English) Zbl 1461.68050 Liu, Shaoying (ed.) et al., Structured object-oriented formal language and method. 6th international workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10189, 3-14 (2017). MSC: 68N15 68N19 68Q85 PDFBibTeX XMLCite \textit{Z. You} and \textit{J. Xue}, Lect. Notes Comput. Sci. 10189, 3--14 (2017; Zbl 1461.68050) Full Text: DOI
Jifeng, He; Qin, Li A hybrid relational modelling language. (English) Zbl 1485.68162 Gibson-Robinson, Thomas (ed.) et al., Concurrency, security, and puzzles. Essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10160, 124-143 (2017). MSC: 68Q85 68N30 68Q55 93C30 PDFBibTeX XMLCite \textit{H. Jifeng} and \textit{L. Qin}, Lect. Notes Comput. Sci. 10160, 124--143 (2017; Zbl 1485.68162) Full Text: DOI
Colvin, Robert J.; Hayes, Ian J.; Meinicke, Larissa A. Designing a semantic model for a wide-spectrum language with concurrency. (English) Zbl 1375.68036 Formal Asp. Comput. 29, No. 5, 853-875 (2017). MSC: 68N15 68Q55 68Q85 PDFBibTeX XMLCite \textit{R. J. Colvin} et al., Formal Asp. Comput. 29, No. 5, 853--875 (2017; Zbl 1375.68036) Full Text: DOI arXiv
Černý, Pavol; Clarke, Edmund M.; Henzinger, Thomas A.; Radhakrishna, Arjun; Ryzhyk, Leonid; Samanta, Roopsha; Tarrach, Thorsten From non-preemptive to preemptive scheduling using synchronization synthesis. (English) Zbl 1360.68346 Form. Methods Syst. Des. 50, No. 2-3, 97-139 (2017). MSC: 68N19 68M20 68Q60 68Q85 PDFBibTeX XMLCite \textit{P. Černý} et al., Form. Methods Syst. Des. 50, No. 2--3, 97--139 (2017; Zbl 1360.68346) Full Text: DOI
Igual, Laura; Seguí, Santi [Vitrià, Jordi; Petia Radeva, Eloi Puertas; Pujol, Oriol; Escalera, Sergio; Dantí, Francesc; Garrido, Lluís] Introduction to data science. A Python approach to concepts, techniques and applications. With contributions from Jordi Vitrià, Eloi Puertas Petia Radeva, Oriol Pujol, Sergio Escalera, Francesc Dantí and Lluís Garrido. (English) Zbl 1365.62003 Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-319-50016-4/pbk; 978-3-319-50017-1/ebook). xiv, 218 p. (2017). Reviewer: Irina Ioana Mohorianu (Norwich) MSC: 62-01 62-07 65C60 68T05 62H30 62-04 62J05 62J12 68T35 68T50 68W10 68W15 PDFBibTeX XMLCite \textit{L. Igual} and \textit{S. Seguí}, Introduction to data science. A Python approach to concepts, techniques and applications. With contributions from Jordi Vitrià, Eloi Puertas Petia Radeva, Oriol Pujol, Sergio Escalera, Francesc Dantí and Lluís Garrido. Cham: Springer (2017; Zbl 1365.62003) Full Text: DOI
Choi, Woohyuk; Hong, Sumin; Jeong, Won-Ki Vispark: GPU-accelerated distributed visual computing using Spark. (English) Zbl 1349.68032 SIAM J. Sci. Comput. 38, No. 5, S700-S719 (2016). MSC: 68M14 65Y10 68N19 68U10 68U20 68W15 PDFBibTeX XMLCite \textit{W. Choi} et al., SIAM J. Sci. Comput. 38, No. 5, S700--S719 (2016; Zbl 1349.68032) Full Text: DOI
Petersen, Rasmus L.; Lakin, Matthew R.; Phillips, Andrew A strand graph semantics for DNA-based computation. (English) Zbl 1339.68084 Theor. Comput. Sci. 632, 43-73 (2016). MSC: 68Q05 68Q10 68Q55 68Q85 92C40 92D20 PDFBibTeX XMLCite \textit{R. L. Petersen} et al., Theor. Comput. Sci. 632, 43--73 (2016; Zbl 1339.68084) Full Text: DOI
Li, Qin; Zhao, Yongxin; Zhu, Huibiao; He, Jifeng A UTP semantic model for Orc language with execution status and fault handling. (English) Zbl 1403.68041 Front. Comput. Sci. 8, No. 5, 709-725 (2014). MSC: 68N30 68Q55 68Q85 PDFBibTeX XMLCite \textit{Q. Li} et al., Front. Comput. Sci. 8, No. 5, 709--725 (2014; Zbl 1403.68041) Full Text: DOI
Litvinov, V. G. Development and application of the computational model for skeleton solutions. Case study – using “bag-of-task” for HRBF neural network learning. (Russian. English summary) Zbl 1413.68058 Vestn. Samar. Gos. Tekh. Univ., Ser. Fiz.-Mat. Nauki 2014, No. 3(36), 183-195 (2014). MSC: 68Q05 68Q10 68Q85 68T05 68W01 PDFBibTeX XMLCite \textit{V. G. Litvinov}, Vestn. Samar. Gos. Tekh. Univ., Ser. Fiz.-Mat. Nauki 2014, No. 3(36), 183--195 (2014; Zbl 1413.68058) Full Text: DOI MNR
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
Martí-Oliet, Narciso; Palomino, Miguel; Verdejo, Alberto Rewriting logic bibliography by topic: 1990–2011. (English) Zbl 1262.03052 J. Log. Algebr. Program. 81, No. 7-8, 782-815 (2012). MSC: 03B70 00A15 68Q10 68Q42 PDFBibTeX XMLCite \textit{N. Martí-Oliet} et al., J. Log. Algebr. Program. 81, No. 7--8, 782--815 (2012; Zbl 1262.03052) Full Text: DOI
Meseguer, José Twenty years of rewriting logic. (English) Zbl 1267.03043 J. Log. Algebr. Program. 81, No. 7-8, 721-781 (2012). Reviewer: Johan Georg Granström (Zürich) MSC: 03B70 68Q42 PDFBibTeX XMLCite \textit{J. Meseguer}, J. Log. Algebr. Program. 81, No. 7--8, 721--781 (2012; Zbl 1267.03043) Full Text: DOI
de Boer, Frank S.; Grabe, Immo; Steffen, Martin Termination detection for active objects. (English) Zbl 1243.68221 J. Log. Algebr. Program. 81, No. 4, 541-557 (2012). MSC: 68Q85 68N19 68N30 PDFBibTeX XMLCite \textit{F. S. de Boer} et al., J. Log. Algebr. Program. 81, No. 4, 541--557 (2012; Zbl 1243.68221) Full Text: DOI
Soule, Paul Autonomics development: A domain-specific aspect language approach. (English) Zbl 1205.68095 Autonomic Systems. Basel: Birkhäuser (ISBN 978-3-0346-0539-7/pbk; 978-3-0346-0540-3/ebook). x, 134 p. (2010). Reviewer: T. C. Mohan (Dehra Dun) MSC: 68M14 68-02 68N15 68N19 68N20 PDFBibTeX XMLCite \textit{P. Soule}, Autonomics development: A domain-specific aspect language approach. Basel: Birkhäuser (2010; Zbl 1205.68095) Full Text: DOI
Michel, Laurent; See, Andrew; van Hentenryck, Pascal Parallel and distributed local search in COMET. (English) Zbl 1179.90288 Comput. Oper. Res. 36, No. 8, 2357-2375 (2009). MSC: 90C27 68M20 68W10 90B40 PDFBibTeX XMLCite \textit{L. Michel} et al., Comput. Oper. Res. 36, No. 8, 2357--2375 (2009; Zbl 1179.90288) Full Text: DOI
Phillips, Andrew Specifying and implementing secure mobile applications. (English) Zbl 1171.68578 Alexander, Michael (ed.) et al., Process algebra for parallel and distributed processing. Boca Raton, FL: CRC pRESS (ISBN 978-1-4200-6486-5/hbk). Chapman & Hall / CRC Computational Science Series, 235-283 (2009). MSC: 68Q85 68M14 68N19 68U35 PDFBibTeX XMLCite \textit{A. Phillips}, in: Process algebra for parallel and distributed processing. Boca Raton, FL: CRC pRESS. 235--283 (2009; Zbl 1171.68578)
Groote, Jan Friso; Mathijssen, Aad; Reniers, Michel A.; Usenko, Yaroslav S.; van Weerdenburg, Muck Analysis of distributed systems with mCRL2. (English) Zbl 1171.68400 Alexander, Michael (ed.) et al., Process algebra for parallel and distributed processing. Boca Raton, FL: CRC pRESS (ISBN 978-1-4200-6486-5/hbk). Chapman & Hall / CRC Computational Science Series, 99-128 (2009). MSC: 68N15 68M14 68Q85 PDFBibTeX XMLCite \textit{J. F. Groote} et al., in: Process algebra for parallel and distributed processing. Boca Raton, FL: CRC pRESS. 99--128 (2009; Zbl 1171.68400)
Ben-Ari, Mordechai Principles of the SPIN model checker. Foreword by Gerard J. Holzmann. (English) Zbl 1142.68044 London: Springer (ISBN 978-1-84628-769-5/pbk). xv, 216 p. (2008). MSC: 68Q60 68N15 68N19 68Q85 68-01 PDFBibTeX XMLCite \textit{M. Ben-Ari}, Principles of the SPIN model checker. Foreword by Gerard J. Holzmann. London: Springer (2008; Zbl 1142.68044)
Bugliesi, Michele; Giunti, Marco Secure implementations of typed channel abstractions. (English) Zbl 1295.68078 Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 251-262 (2007). MSC: 68N30 68N19 68Q85 94A60 PDFBibTeX XMLCite \textit{M. Bugliesi} and \textit{M. Giunti}, in: Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '07, Nice, France, January 17--19, 2007. New York, NY: Association for Computing Machinery (ACM). 251--262 (2007; Zbl 1295.68078) Full Text: DOI
Lee, Daniel K.; Crary, Karl; Harper, Robert Towards a mechanized metatheory of Standard ML. (English) Zbl 1295.68088 Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 173-184 (2007). MSC: 68N30 68N15 68N18 68Q85 PDFBibTeX XMLCite \textit{D. K. Lee} et al., in: Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '07, Nice, France, January 17--19, 2007. New York, NY: Association for Computing Machinery (ACM). 173--184 (2007; Zbl 1295.68088) Full Text: DOI
L’her, D.; Le Parc, P.; Marcé, L. Modeling and proving Grafcets with transition systems. (English) Zbl 1123.68081 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, 77-96 (2007). MSC: 68Q85 68N15 PDFBibTeX XMLCite \textit{D. L'her} et al., AMAST Ser. Comput. 8, 77--96 (2007; Zbl 1123.68081)
Deniélou, Pierre-Malo; Leifer, James J. Abstraction preservation and subtyping in distributed languages. (English) Zbl 1321.68148 Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP ’06, Portland, OR, USA, September 18–20, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-309-3). ACM SIGPLAN Notices 41, No. 9, 286-297 (2006). MSC: 68N18 68N15 PDFBibTeX XMLCite \textit{P.-M. Deniélou} and \textit{J. J. Leifer}, in: Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP '06, Portland, OR, USA, September 18--20, 2006. New York, NY: Association for Computing Machinery (ACM). 286--297 (2006; Zbl 1321.68148) Full Text: DOI
Mousavi, Mohammad Reza Towards SOS meta-theory for language-based security. (English) Zbl 1316.68102 Aceto, Luca (ed.) et al., Proceedings of the workshop “Essays on algebraic process calculi” (APC 25), Bertinoro, Italy, August 1–5, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 162, 267-271 (2006). MSC: 68Q85 68N15 68Q55 68Q60 PDFBibTeX XMLCite \textit{M. R. Mousavi}, Electron. Notes Theor. Comput. Sci. 162, 267--271 (2006; Zbl 1316.68102) Full Text: DOI
de Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario On the expressive power of Klaim-based calculi. (English) Zbl 1092.68070 Theor. Comput. Sci. 356, No. 3, 387-421 (2006). MSC: 68Q85 68N15 PDFBibTeX XMLCite \textit{R. de Nicola} et al., Theor. Comput. Sci. 356, No. 3, 387--421 (2006; Zbl 1092.68070) Full Text: DOI
Horváth, Zoltán; Hernyák, Zoltán; Zsók, Viktória Coordination language for distributed clean. (English) Zbl 1101.68459 Acta Cybern. 17, No. 2, 247-271 (2005). MSC: 68N19 PDFBibTeX XMLCite \textit{Z. Horváth} et al., Acta Cybern. 17, No. 2, 247--271 (2005; Zbl 1101.68459)
Bakić, Aleksandar M.; Mutka, Matt W. Integrating on-line performance visualization and real-time system design. (English) Zbl 1083.68524 Real-Time Syst. 30, No. 3, 163-185 (2005). MSC: 68M20 68M14 PDFBibTeX XMLCite \textit{A. M. Bakić} and \textit{M. W. Mutka}, Real-Time Syst. 30, No. 3, 163--185 (2005; Zbl 1083.68524) Full Text: DOI
Aleksy, Markus; Korthaus, Axel; Schader, Martin Implementing distributed systems with Java and CORBA. (English) Zbl 1087.68014 Berlin: Springer (ISBN 3-540-24173-6/hbk). xiii, 343 p. (2005). Reviewer: Tudor Bălănescu (Pitesti) MSC: 68M14 68N19 68N15 68-01 PDFBibTeX XMLCite \textit{M. Aleksy} et al., Implementing distributed systems with Java and CORBA. Berlin: Springer (2005; Zbl 1087.68014) Full Text: DOI
Bjørner, Dines [Madsen, Christian Krog] Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen. (English) Zbl 1095.68021 Texts in Theoretical Computer Science. An EATCS Series. Berlin: Springer (ISBN 3-540-21150-0/hbk). xxiv, 777 p. (2006). Reviewer: Tudor Bălănescu (Pitesti) MSC: 68N30 68N15 68N20 68Q65 68Q45 68Q85 68-01 PDFBibTeX XMLCite \textit{D. Bjørner}, Software engineering 2. Specification of systems and languages. With contributions from Christian Krog Madsen. Berlin: Springer (2005; Zbl 1095.68021) Full Text: DOI
Lastovetsky, Alexey L. Parallel computing on heterogeneous networks. (English) Zbl 1049.68020 Wiley Series on Parallel and Distributed Computing. Hoboken, NJ: Wiley (ISBN 0-471-22982-2/hbk; 978-0-471-65416-2/ebook). xiii, 423 p. (2003). Reviewer: Nikolay Yakovlevich Tikhonenko (Odessa) MSC: 68M10 68Q10 68-02 68N19 65Y05 PDFBibTeX XMLCite \textit{A. L. Lastovetsky}, Parallel computing on heterogeneous networks. Hoboken, NJ: Wiley (2003; Zbl 1049.68020) Full Text: DOI
Doornik, Jurgen A.; Hendry, David F.; Shephard, Neil Computationally intensive econometrics using a distributed matrix-programming language. (English) Zbl 1056.91547 Philos. Trans. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 360, No. 1795, 1245-1266 (2002). MSC: 91B82 62M10 62P05 68U20 PDFBibTeX XMLCite \textit{J. A. Doornik} et al., Philos. Trans. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. 360, No. 1795, 1245--1266 (2002; Zbl 1056.91547) Full Text: DOI Link
Bettini, Lorenzo; De Nicola, Rocco; Pugliese, Rosario Klava: a Java package for distributed and mobile applications. (English) Zbl 1009.68933 Software. Practice & Experience 32, No. 14, 1365-1394 (2002). MSC: 68U99 68N15 68N01 68N19 PDFBibTeX XMLCite \textit{L. Bettini} et al., Softw., Pract. Exper. 32, No. 14, 1365--1394 (2002; Zbl 1009.68933) Full Text: DOI
Trinder, P. W.; Loidl, H.-W.; Pointon, R. F. Parallel and distributed Haskells. (English) Zbl 1037.68026 J. Funct. Program. 12, No. 4-5, 469-510 (2002). MSC: 68N15 68N18 68N19 PDFBibTeX XMLCite \textit{P. W. Trinder} et al., J. Funct. Program. 12, No. 4--5, 469--510 (2002; Zbl 1037.68026) Full Text: DOI
Yu, Jian; Wang, Shengyuan; Yuan, Chongyi Solving inheritance anomaly with OMNets. (English) Zbl 1004.68119 J. Comput. Sci. Technol. 17, No. 1, 101-105 (2002). MSC: 68Q85 68N15 PDFBibTeX XMLCite \textit{J. Yu} et al., J. Comput. Sci. Technol. 17, No. 1, 101--105 (2002; Zbl 1004.68119) Full Text: DOI
Lederer, Edgar F. A.; Dumitrescu, Romeo A. Automatic result verification by complete run-time checking of computations. (English) Zbl 1319.68057 Int. J. Found. Comput. Sci. 12, No. 1, 97-124 (2001). MSC: 68N18 68N19 68Q60 PDFBibTeX XMLCite \textit{E. F. A. Lederer} and \textit{R. A. Dumitrescu}, Int. J. Found. Comput. Sci. 12, No. 1, 97--124 (2001; Zbl 1319.68057) Full Text: DOI
Aoki, Kiyoko F.; Lee, D. T. Towards web-based computing. (English) Zbl 1074.68627 Int. J. Comput. Geom. Appl. 11, No. 1, 71-104 (2001). MSC: 68U05 68M10 PDFBibTeX XMLCite \textit{K. F. Aoki} and \textit{D. T. Lee}, Int. J. Comput. Geom. Appl. 11, No. 1, 71--104 (2001; Zbl 1074.68627) Full Text: DOI
Sendall, Shane; Strohmeier, Alfred Specifying concurrent system behavior and timing constraints using OCL and UML. (English) Zbl 1024.68845 Gogolla, Martin (ed.) et al., “UML” 2001 - The unified modeling language. Modeling languages, concepts, and tools. 4th international conference, Toronto, Canada, October 1-5, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2185, 391-405 (2001). MSC: 68U99 68N15 68N19 68M14 PDFBibTeX XMLCite \textit{S. Sendall} and \textit{A. Strohmeier}, Lect. Notes Comput. Sci. 2185, 391--405 (2001; Zbl 1024.68845) Full Text: Link
Yamaguchi, Shin’nosuke; Wasaki, Katsumi; Shidama, Yasunari; Kawamoto, Pauline Naomi Automatic HDL generation for a DES codec for an encrypted NFS server based on extended Petri net. (English) Zbl 1019.68069 Adamski, Marian (ed.) et al., Proceedings of the international workshop on discrete-event system design. DESDes ’01, Przytok near Zielona Góra, Poland, June 27-29, 2001. Zielona Góra: TU of Zielona Góra, Computer Engineering and Electronics Institute. 61-66 (2001). MSC: 68Q85 68N15 68M99 PDFBibTeX XMLCite \textit{S. Yamaguchi} et al., in: Proceedings of the international workshop on discrete-event system design. DESDes '01, Przytok near Zielona Góra, Poland, June 27--29, 2001. Zielona Góra: TU of Zielona Góra, Computer Engineering and Electronics Institute. 61--66 (2001; Zbl 1019.68069)
Klaudel, Hanna Compositional high-level Petri net semantics of a parallel programming language with procedures. (English) Zbl 0998.68035 Sci. Comput. Program. 41, No. 3, 195-240 (2001). MSC: 68N19 68Q85 PDFBibTeX XMLCite \textit{H. Klaudel}, Sci. Comput. Program. 41, No. 3, 195--240 (2001; Zbl 0998.68035) Full Text: DOI
van Breugel, F. An introduction to metric semantics: Operational and denotational models for programming and specification languages. (English) Zbl 0973.68133 Theor. Comput. Sci. 258, No. 1-2, 1-98 (2001). MSC: 68Q55 68N15 68Q85 PDFBibTeX XMLCite \textit{F. van Breugel}, Theor. Comput. Sci. 258, No. 1--2, 1--98 (2001; Zbl 0973.68133) Full Text: DOI
Fragnière, Emmanuel; Gondzio, Jacek; Vial, Jean-Philippe Building and solving large-scale stochastic programs on an affordable distributed computing system. (English) Zbl 0990.90083 Ann. Oper. Res. 99, 167-187 (2000). MSC: 90C15 90C06 PDFBibTeX XMLCite \textit{E. Fragnière} et al., Ann. Oper. Res. 99, 167--187 (2000; Zbl 0990.90083) Full Text: DOI
Gedela, Ravi K.; Shatz, Sol M.; Xu, Haiping Compositional Petri net models of advanced tasking in Ada-95. (English) Zbl 0952.68098 Comput. Lang. 25, No. 2, 55-87 (1999). MSC: 68Q85 68N15 PDFBibTeX XMLCite \textit{R. K. Gedela} et al., Comput. Lang. 25, No. 2, 55--87 (1999; Zbl 0952.68098) Full Text: DOI
Masermann, Ute Scheme independent query languages for relational data bases. (Schema-unabhängige Anfragesprachen für relationale Datenbanken.) (German) Zbl 0957.68037 Münster: Univ. Münster, Fachbereich Mathematik und Informatik, 175 p. (1999). Reviewer: H.Schweppe (Berlin) MSC: 68P15 68-02 PDFBibTeX XMLCite \textit{U. Masermann}, Schema-unabhängige Anfragesprachen für relationale Datenbanken. Münster: Univ. Münster, Fachbereich Mathematik und Informatik (1999; Zbl 0957.68037)
Gerndt, Michael High-level programming of massively parallel computers based on shared virtual memory. (English) Zbl 0904.68032 Parallel Comput. 24, No. 3-4, 383-400 (1998). MSC: 68N15 68N99 68M20 PDFBibTeX XMLCite \textit{M. Gerndt}, Parallel Comput. 24, No. 3--4, 383--400 (1998; Zbl 0904.68032) Full Text: DOI
Dennis, Louise; Bundy, Alan; Green, Ian Using a generalisation critic to find bisimulations for coinductive proofs. (English) Zbl 1430.68399 McCune, William (ed.), Automated deduction – CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1249, 276-290 (1997). MSC: 68V15 68N30 68Q85 PDFBibTeX XMLCite \textit{L. Dennis} et al., Lect. Notes Comput. Sci. 1249, 276--290 (1997; Zbl 1430.68399) Full Text: DOI Link
Abramova, V. A.; Fisun, V. A.; Gorelik, A. M.; Khramtsov, M. Yu.; Lapygin, A. E.; Pozdnyakov, L. A.; Sheina, N. P.; Titova, T. I.; Vershubskij, V. Yu. GNS programming system. C GNS language description. (Russian. English summary) Zbl 0931.68026 Inst. Prikl. Mat. Im. M. V. Keldysha Ross. Akad. Nauk, Mosk., Prepr. 64, 22 p. (1997). MSC: 68N15 68M99 PDFBibTeX XMLCite \textit{V. A. Abramova} et al., Inst. Prikl. Mat. Im. M. V. Keldysha Ross. Akad. Nauk, Mosk., Prepr. 64, 22 p. (1997; Zbl 0931.68026)
Akşit, Mehmet (ed.); Matsuoka, Satoshi (ed.) ECOOP ’97 - object-oriented programming. 11th European conference. Jyväskylä, Finland; June 9–13, 1997. Proceedings. (English) Zbl 0889.68037 Lecture Notes in Computer Science. 1241. Berlin: Springer. xi, 531 p. (1997). Reviewer: U.Hahn (Freiburg i.Br.) MSC: 68N99 00B25 68-06 68N15 68Q60 68Q10 PDFBibTeX XMLCite \textit{M. Akşit} (ed.) and \textit{S. Matsuoka} (ed.), ECOOP '97 - object-oriented programming. 11th European conference. Jyväskylä, Finland; June 9--13, 1997. Proceedings. Berlin: Springer (1997; Zbl 0889.68037)
Francez, Nissim; Forman, Ira R. Interacting processes. A multiparty approach to coordinated distributed programming. (English) Zbl 0851.68031 Harlow, England: Addison-Wesley. xiv, 234 p. (1996). Reviewer: U.Hahn (Freiburg i.Br.) MSC: 68Q10 68Q60 68-01 PDFBibTeX XMLCite \textit{N. Francez} and \textit{I. R. Forman}, Interacting processes. A multiparty approach to coordinated distributed programming. Harlow, England: Addison-Wesley (1996; Zbl 0851.68031)
Park, Young; Goldberg, Benjamin Static analysis for optimizing reference counting. (English) Zbl 0875.68217 Inf. Process. Lett. 55, No. 4, 229-234 (1995). MSC: 68N15 PDFBibTeX XMLCite \textit{Y. Park} and \textit{B. Goldberg}, Inf. Process. Lett. 55, No. 4, 229--234 (1995; Zbl 0875.68217) Full Text: DOI
Sedgewick, Robert Algorithmen in C++. (Algorithms in C++).2., korr. Nachdr. 2., korr. Nachdr. (Algorithmen in C++.) (German) Zbl 0838.68043 Bonn: Addison-Wesley. 742 p. (1995). MSC: 68W10 68N15 68P10 68W15 68-01 68-04 PDFBibTeX XMLCite \textit{R. Sedgewick}, Algorithmen in C++. 2., korr. Nachdr. Bonn: Addison-Wesley (1995; Zbl 0838.68043)
Sugino, Eiji; Yokota, Haruo An implementation of logical variable references in a concurrent logic programming language by using channel variables. (English) Zbl 0814.68046 Noguchi, Shoichi (ed.) et al., Transputer/ Occam Japan 6. Proceedings of the 6th Transputer/ Occam International Conference 16th - 17th June 1994, Hachioji-shi, Tokyo, Japan. Amsterdam: IOS Press. Transputer Occam Eng. Ser. 39, 102-116 (1994). MSC: 68N17 68Q45 PDFBibTeX XMLCite \textit{E. Sugino} and \textit{H. Yokota}, Transputer Occam Eng. Ser. 39, 102--116 (1994; Zbl 0814.68046)
Huntbach, Matthew A single-message distributed algorithm for minimal spanning trees. (English) Zbl 0817.68114 Lavallée, Ivan (ed.) et al., Actes des journées internationales sur les problèmes fondamentaux de l’informatique parallèle et distribuée. Proceedings of the international workshop on principles of parallel computing, Lacanau, France, 23-26 novembre, 1993. Paris: Hermes. 13-25 (1993). MSC: 68R10 68W15 68N17 PDFBibTeX XMLCite \textit{M. Huntbach}, in: Actes des journées internationales sur les problèmes fondamentaux de l'informatique parallèle et distribuée. Proceedings of the international workshop on principles of parallel computing, Lacanau, France, 23-26 novembre, 1993. Paris: Hermes. 13--25 (1993; Zbl 0817.68114)
Thomsen, Bent Plain CHOCS. A second generation calculus for higher order processes. (English) Zbl 0790.68069 Acta Inf. 30, No. 1, 1-59 (1993). Reviewer: B.Thomsen (München) MSC: 68Q55 68Q10 68N15 68Q85 PDFBibTeX XMLCite \textit{B. Thomsen}, Acta Inf. 30, No. 1, 1--59 (1993; Zbl 0790.68069) Full Text: DOI
Reichwein, Georg; Fiadeiro, José Luiz Models for the substitution axiom of UNITY logic. (English) Zbl 0787.68015 Inf. Process. Lett. 48, No. 4, 171-176 (1993). MSC: 68N15 68W15 68Q60 PDFBibTeX XMLCite \textit{G. Reichwein} and \textit{J. L. Fiadeiro}, Inf. Process. Lett. 48, No. 4, 171--176 (1993; Zbl 0787.68015) Full Text: DOI
Violard, E.; Perrin, G.-R. PEI: A language and its refinement calculus for parallel programming. (English) Zbl 0795.68032 Parallel Comput. 18, No. 10, 1167-1184 (1992). MSC: 68N15 68W15 PDFBibTeX XMLCite \textit{E. Violard} and \textit{G. R. Perrin}, Parallel Comput. 18, No. 10, 1167--1184 (1992; Zbl 0795.68032) Full Text: DOI
Clark, Terry W.; McCammon, J. Andrew; Scott, L. Ridgway Parallel molecular dynamics. (English) Zbl 0789.92011 Dongarra, Jack (ed.) et al., Proceedings of the fifth SIAM conference on parallel processing for scientific computing, held in Houston, TX, USA, March 25-27, 1991. Philadelphia, PA: SIAM. 338-344 (1992). MSC: 92C40 92-08 92E99 65Y05 PDFBibTeX XMLCite \textit{T. W. Clark} et al., in: Proceedings of the fifth SIAM conference on parallel processing for scientific computing, held in Houston, TX, USA, March 25-27, 1991. Philadelphia, PA: SIAM. 338--344 (1992; Zbl 0789.92011)
Wu, Cheng; Bochmann, Gregor v. Fairness in LOTOS. (English) Zbl 0785.68036 Formal description techniques, IV, Proc. IFIP TC6/WG6 4th Int. Conf., Sydney/Australia 1991, 543-558 (1992). MSC: 68Q10 68N15 68Q60 PDFBibTeX XMLCite \textit{C. Wu} and \textit{G. v. Bochmann}, in: Formal description techniques, IV. Proceedings of the IFIP TC6/WG6.1 4th international conference on formal description techniques for distributed systems and communication protocols, FORTE '91, Sydney, Australia, 19-22 November 1991. Amsterdam etc.: Elsevier Science Publishers B. V. (North-Holland). 543--558 (1992; Zbl 0785.68036)
Mandrioli, Dino (ed.); Meyer, Bertrand (ed.) Advanced object-oriented software engineering. (English) Zbl 0814.68049 London etc.: Prentice Hall. X, 214 p. (1992). Reviewer: U.Hahn (Freiburg i.Br.) MSC: 68N99 68-06 PDFBibTeX XMLCite \textit{D. Mandrioli} (ed.) and \textit{B. Meyer} (ed.), Advanced object-oriented software engineering. London etc.: Prentice Hall (1992; Zbl 0814.68049)
Sedgewick, Robert Algorithms in C++. (English) Zbl 0826.68025 Amsterdam etc.: Addison-Wesley Publishing Company. XIV, 656 p. $ 51.75 /hc (1992). Reviewer: I.Martinec (Praha) MSC: 68N15 68P10 68W10 68W15 68-01 68-04 PDFBibTeX XMLCite \textit{R. Sedgewick}, Algorithms in C++. Amsterdam etc.: Addison-Wesley Publishing Company (1992; Zbl 0826.68025)
Cannan, Stephen John; Otten, Gerard A. M. SQL - the standard handbook. Based on the new SQL standard (ISO 9075: 1992(E)). (English) Zbl 0818.68051 London etc.: McGraw-Hill Book Company Europe. XII, 584 p. (1992). MSC: 68N15 68P15 68-01 PDFBibTeX XMLCite \textit{S. J. Cannan} and \textit{G. A. M. Otten}, SQL - the standard handbook. Based on the new SQL standard (ISO 9075: 1992(E)). London etc.: McGraw-Hill Book Company Europe (1992; Zbl 0818.68051)
Bjørner, Dines Formal specification is an experimental science. (English. Russian original) Zbl 0875.68638 Program. Comput. Softw. 17, No. 6, 316-335 (1991); translation from Programmirovanie 1991, No. 6, 24-43 (1991). MSC: 68Q60 68N01 68Q65 PDFBibTeX XMLCite \textit{D. Bjørner}, Program. Comput. Softw. 17, No. 6, 316--335 (1991; Zbl 0875.68638); translation from Programmirovanie 1991, No. 6, 24--43 (1991)
van den Bos, Jan; Laffa, Chris PROCOL. A concurrent object-oriented language with protocols delegation and constraints. (English) Zbl 0724.68015 Acta Inf. 28, No. 6, 511-538 (1991). MSC: 68N15 68Q10 68W15 68N25 PDFBibTeX XMLCite \textit{J. van den Bos} and \textit{C. Laffa}, Acta Inf. 28, No. 6, 511--538 (1991; Zbl 0724.68015) Full Text: DOI
van den Bos, Jan; Laffa, Chris PROCOL. A concurrent object-oriented language with protocols delegation and constraints. (English) Zbl 0711.68023 Acta Inf. (to appear). Reviewer: J.van den Bos MSC: 68N15 68Q10 68W15 68N25 PDFBibTeX XML
Paalvast, Edwin M.; Sips, Henk J.; Breebaart, Leo C. \(Booster\): A high-level language for portable parallel algorithms. (English) Zbl 0735.68011 Appl. Numer. Math. 8, No. 2, 177-192 (1991). MSC: 68N15 68W15 PDFBibTeX XMLCite \textit{E. M. Paalvast} et al., Appl. Numer. Math. 8, No. 2, 177--192 (1991; Zbl 0735.68011) Full Text: DOI
Barter, Christopher J. (ed.); Brooks, Michael J. (ed.) AI ’88. 2nd Australian joint artificial intelligence conference, Adelaide, Australia, November 15-18, 1988. Proceedings. (English) Zbl 0752.68002 Lecture Notes in Computer Science. 406. Berlin etc.: Springer-Verlag. VIII, 463 p. (1990). Reviewer: N.Curteanu (Iaşi) MSC: 68-06 68T30 68T15 68T35 68T50 68N17 PDFBibTeX XMLCite \textit{C. J. Barter} (ed.) and \textit{M. J. Brooks} (ed.), AI '88. 2nd Australian joint artificial intelligence conference, Adelaide, Australia, November 15-18, 1988. Proceedings. Berlin etc.: Springer-Verlag (1990; Zbl 0752.68002) Full Text: DOI
Gyachas, K. K. Axiomatic system for proving the properties of simple multimodule programs. (English. Russian original) Zbl 0674.68015 Cybernetics 24, No. 2, 179-186 (1988); translation from Kibernetika 1988, No. 2, 33-38 (1988). Reviewer: V.Burjan MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{K. K. Gyachas}, Cybernetics 24, No. 2, 179--186 (1988; Zbl 0674.68015); translation from Kibernetika 1988, No. 2, 33--38 (1988) Full Text: DOI
Sobel, A. E. K.; Soundararajan, N. A proof system for distributed processes. (English) Zbl 0649.68016 Acta Inf. 25, No. 3, 305-332 (1988). Reviewer: P.Van Emde Boas MSC: 68Q60 68Q55 68N25 68Q65 PDFBibTeX XMLCite \textit{A. E. K. Sobel} and \textit{N. Soundararajan}, Acta Inf. 25, No. 3, 305--332 (1988; Zbl 0649.68016) Full Text: DOI
Leca, Pierre Conception of parallel algorithms for multiprocessor systems with distributed memories: Application to multi-FPS164 LCAP1 system programming. (English) Zbl 0667.65024 Supercomputing. State-of-the-art, 287-319 (1987). Reviewer: M.Vajteršic MSC: 65Fxx 65Y05 15A23 PDFBibTeX XML
Maekawa, Mamoru; Oldehoeft, Arthur E.; Oldehoeft, Rodney R. Operating systems. Advanced concepts. (English) Zbl 0657.68003 Menlo Park, California, etc.: The Benjamin/Cummings Publishing Company, Inc. (Distr. by Addison-Wesley Publ. Co., Amsterdam). XVI, 414 p. (1987). Reviewer: E.Savin MSC: 68-02 68N25 PDFBibTeX XML
Schnoebelen, Ph. Rewriting techniques for the temporal analysis of communicating processes. (English) Zbl 0634.68011 PARLE, Parallel architectures and languages Europe, Proc. Conf., Eindhoven/Neth. 1987, Vol. 2, Lect. Notes Comput. Sci. 259, 402-419 (1987). MSC: 68N25 68Q60 68Q85 PDFBibTeX XML
Smolka, Scott A.; Strom, Robert E. A CCS semantics for NIL. (English) Zbl 0629.68017 IBM J. Res. Dev. 31, 556-570 (1987). MSC: 68N25 PDFBibTeX XMLCite \textit{S. A. Smolka} and \textit{R. E. Strom}, IBM J. Res. Dev. 31, 556--570 (1987; Zbl 0629.68017) Full Text: DOI
Habermann, A. N. (ed.); Montanari, U. (ed.) System development and Ada. CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986. Proceedings. (English) Zbl 0627.68004 Lecture Notes in Computer Science, 275. Berlin etc.: Springer-Verlag. V, 305 p.; DM 45.00 (1987). Reviewer: G.Grigas MSC: 68-06 00B25 PDFBibTeX XML
Hooman, Jozef A compositional proof theory for real-time distributed message passing. (English) Zbl 0615.68024 PARLE, Parallel architectures and languages Europe, Proc. Conf., Eindhoven/Neth. 1987, Vol. 2, Lect. Notes Comput. Sci. 259, 315-332 (1987). MSC: 68N25 PDFBibTeX XML
Kramer, Jeff; Magee, J.; Sloman, M. The Conic toolkit for building distributed systems. (English) Zbl 0609.93022 IEE Proc., Part D 134, 73-82 (1987). MSC: 93B40 68Q45 93A15 68U99 PDFBibTeX XMLCite \textit{J. Kramer} et al., IEE Proc., Part D 134, 73--82 (1987; Zbl 0609.93022) Full Text: DOI
Brinch Hansen, Per A Joyce implementation. (English) Zbl 0607.68015 Softw., Pract. Exper. 17, 267-276 (1987). MSC: 68N25 PDFBibTeX XMLCite \textit{P. Brinch Hansen}, Softw., Pract. Exper. 17, 267--276 (1987; Zbl 0607.68015) Full Text: DOI
Kozhevnikov, G. K. Topological design of distributed control systems using the Prolog programming language. (English. Russian original) Zbl 0796.68057 Autom. Control Comput. Sci. 21, No. 3, 1-3 (1987); translation from Avtom. Vychisl. Tekh. 1987, No. 3, 3-5 (1987). MSC: 68N17 68Q45 PDFBibTeX XMLCite \textit{G. K. Kozhevnikov}, Autom. Control Comput. Sci. 21, No. 3, 1--3 (1987; Zbl 0796.68057); translation from Avtom. Vychisl. Tekh. 1987, No. 3, 3--5 (1987)
Zöbel, Dieter Programmtransformationen zur Ende-Erkennung bei verteilten Berechnungen. (Program-transforms for termination detection in distributed computations). (German) Zbl 0596.68029 Informationstechnik 28, 204-213 (1986). MSC: 68N25 PDFBibTeX XMLCite \textit{D. Zöbel}, Informationstechnik 28, 204--213 (1986; Zbl 0596.68029)
Keller, Robert M.; Sleep, M. Ronan Applicative caching. (English) Zbl 0593.68012 ACM Trans. Program. Lang. Syst. 8, 88-108 (1986). MSC: 68N01 PDFBibTeX XMLCite \textit{R. M. Keller} and \textit{M. R. Sleep}, ACM Trans. Program. Lang. Syst. 8, 88--108 (1986; Zbl 0593.68012) Full Text: DOI Link
Martin, Alain J. The probe: An addition to communication primitives. (English) Zbl 0586.68023 Inf. Process. Lett. 20, 125-130 (1985). MSC: 68N25 PDFBibTeX XMLCite \textit{A. J. Martin}, Inf. Process. Lett. 20, 125--130 (1985; Zbl 0586.68023) Full Text: DOI
Harland, David M. Towards a language for concurrent processes. (English) Zbl 0566.68027 Softw., Pract. Exper. 15, 839-888 (1985). MSC: 68N25 PDFBibTeX XMLCite \textit{D. M. Harland}, Softw., Pract. Exper. 15, 839--888 (1985; Zbl 0566.68027) Full Text: DOI
Gelernter, David Generative communication in Linda. (English) Zbl 0559.68030 ACM Trans. Program. Lang. Syst. 7, 80-112 (1985). MSC: 68N25 68N01 PDFBibTeX XMLCite \textit{D. Gelernter}, ACM Trans. Program. Lang. Syst. 7, 80--112 (1985; Zbl 0559.68030) Full Text: DOI Link
Crookes, D.; Elder, J. W. G. An experiment in language design for distributed systems. (English) Zbl 0542.68019 Softw., Pract. Exper. 14, 957-971 (1984). MSC: 68N25 68N01 PDFBibTeX XMLCite \textit{D. Crookes} and \textit{J. W. G. Elder}, Softw., Pract. Exper. 14, 957--971 (1984; Zbl 0542.68019) Full Text: DOI
Hansen, N. D.; Madsen, K. H. Formal semantics by a combination of denotational semantics and high- level Petri nets. (English) Zbl 0522.68018 Applications and theory of Petri nets, sel. Pap. 3rd Eur. Workshop, Varenna/Italy 1982, Inf.-Fachber. 66, 132-148 (1983). MSC: 68Q60 68Q85 68Q55 PDFBibTeX XML
Hughes, J. W.; Powell, M. S. DTL: A language for the design and implementation of concurrent programs as structured networks. (English) Zbl 0519.68030 Softw., Pract. Exper. 13, 1099-1112 (1983). MSC: 68N25 68Q60 PDFBibTeX XMLCite \textit{J. W. Hughes} and \textit{M. S. Powell}, Softw., Pract. Exper. 13, 1099--1112 (1983; Zbl 0519.68030) Full Text: DOI
Liskov, Barbara; Scheifler, Robert Guardians and actions: Linguistic support for robust, distributed programs. (English) Zbl 0512.68027 ACM Trans. Program. Lang. Syst. 5, 381-404 (1983). MSC: 68N25 68Q60 68N01 PDFBibTeX XMLCite \textit{B. Liskov} and \textit{R. Scheifler}, ACM Trans. Program. Lang. Syst. 5, 381--404 (1983; Zbl 0512.68027) Full Text: DOI
Petcu, Valeriu; Svasta, Carmen Basic program for the plastic analysis of fully supported two-way reinforced concrete rectangular slabs subjected to linearly distributed loads. (English) Zbl 0506.73076 Rev. Roum. Sci. Tech., Ser. Mec. Appl. 27, 509-527 (1982). MSC: 74E30 74E10 74S99 74-04 49S05 PDFBibTeX XMLCite \textit{V. Petcu} and \textit{C. Svasta}, Rev. Roum. Sci. Tech., Sér. Méc. Appl. 27, 509--527 (1982; Zbl 0506.73076)
Conference proceedings. The 9th annual symposium on computer architecture, April 26-29, 1982, Austin, Texas. (English) Zbl 0485.68002 Sponsored by the IEEE Computer Society and the Association for Computing Machinery. New York: The Institute of Electrical and Electronics Engineers, Inc.; Computer Society Press. VIII, 335 p. (1982). MSC: 68-06 68N99 68N25 PDFBibTeX XML
Evans, David J. (ed.) Parallel processing systems. (An advanced course). (English) Zbl 0484.68016 Cambridge etc.: Cambridge University Press. XI, 399 p. £20.00 (1982). MSC: 68-06 00Bxx 68N99 68Nxx PDFBibTeX XML
Jafri, Anwar Language of functional schemata for parallel processing. (English) Zbl 0507.68002 Foundations of software technology and theoretical computer science, Proc. 1st Conf., Bangalore/India 1981, 143-151 (1981). MSC: 68N01 68N25 PDFBibTeX XML
Ward, Stephen A.; Halstead, Robert H. jun. A syntactic theory of message passing. (English) Zbl 0434.68065 J. Assoc. Comput. Mach. 27, 365-383 (1980). MSC: 68Q55 68Q65 PDFBibTeX XMLCite \textit{S. A. Ward} and \textit{R. H. Halstead jun.}, J. Assoc. Comput. Mach. 27, 365--383 (1980; Zbl 0434.68065) Full Text: DOI
Francez, Nissim; Hoare, C. A. R.; Lehmann, Daniel J.; de Roever, Willem P. Semantics of nondeterminism, concurrency, and communication. (English) Zbl 0434.68066 J. Comput. Syst. Sci. 19, 290-308 (1979). MSC: 68Q55 68N01 68Q60 PDFBibTeX XMLCite \textit{N. Francez} et al., J. Comput. Syst. Sci. 19, 290--308 (1979; Zbl 0434.68066) Full Text: DOI Link