Výsledky vyhľadávania - distributed concurrent linear logic programming~

Distributed concurrent linear logic programming

Autori: N. Kobayashi T. Shimizu A. Yonezawa

Zdroj: Theoretical Computer Science. 227:185-220

Predmety: Concurrency, Theory of programming languages, Distributed computation, Linear logic, Proof-theoretic aspects of linear logic and other substructural logics, Linear logic programming, distributed concurrent linear logic programming, Logic programming, Theoretical Computer Science, Computer Science(all)

Popis súboru: application/xml

Prístupová URL adresa: https://dblp.uni-trier.de/db/journals/tcs/tcs227.html#KobayashiSY99
https://www.sciencedirect.com/science/article/pii/S0304397599000523

Distributed Concurrent Linear Logic Programming.

Autori: Kobayashi, Naoki

Témy: Journal Article., NA.

URL: http://t2r2.star.titech.ac.jp/cgi-bin/publicationinfo.cgi?q_publication_content_number=CTT100450394

Distributed Concurrent Linear Logic Programming

Zdroj: Distributed Concurrent Linear Logic Programming. 227(2):185-220

ScaLAPACK: A scalable linear algebra library for distributed memory concurrent computers

Prispievatelia: Pozo, R [Tennessee Univ., Knoxville, TN (United States). Dept. of Computer Science]

Zdroj: Conference: 4. symposium on frontiers of massively parallel computing, McLean, VA (United States), 19-21 Oct 1992

Popis súboru: Medium: X; Size: Pages: (9 p)

Prístupová URL adresa: http://www.osti.gov/scitech/biblio/7181760

Distributed Concurrent Linear Logic Programming

Autori: Naoki Kobayashi Toshihiro Shimizu Akinori Yonezawa a ďalší

Prispievatelia: Naoki Kobayashi Toshihiro Shimizu Akinori Yonezawa a ďalší

Zdroj: http://www.yl.is.s.u-tokyo.ac.jp/~koba/papers/TCS_DCLL.ps.gz.

Predmety: Programming

Popis súboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.9845

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.9845
http://www.yl.is.s.u-tokyo.ac.jp/~koba/papers/TCS_DCLL.ps.gz

Distributed Concurrent Linear Logic Programming

Autori: N. Kobayashi T. Shimizu A. Yonezawa

Relation: oai:t2r2.star.titech.ac.jp:00053673

Dostupnosť: http://t2r2.star.titech.ac.jp/cgi-bin/publicationinfo.cgi?q_publication_content_number=CTT100450394

Dynamic Spaces in Concurrent Constraint Programming.

Autori: Olarte, Carlos Nigam, Vivek Pimentel, Elaine

Zdroj: ENTCS: Electronic Notes in Theoretical Computer Science. Jul2014, Vol. 305, p103-121. 19p.

Predmety: Constraint programming, Cloud computing, Computer security, Social networks, Communication, Computer systems

Relating state-based and process-based concurrency through linear logic (full-version)

Autori: Cervesato, Iliano Scedrov, Andre

Zdroj: Information & Computation. Oct2009, Vol. 207 Issue 10, p1044-1077. 34p.

Predmety: *MATHEMATICAL logic, *SEQUENTIAL processing (Computer science), *COMPUTER programming, *MATHEMATICAL transformations, *DUALITY theory (Mathematics), *PROGRAMMING language semantics

Flexible Agent Programming in Linear Logic

Autori: José Juan Palacios Pérez

Zdroj: Lecture Notes in Computer Science ISBN: 9783540434757

Prístupová URL adresa: https://link.springer.com/chapter/10.1007/3-540-46016-0_27
https://rd.springer.com/chapter/10.1007/3-540-46016-0_27
https://dblp.uni-trier.de/db/conf/micai/micai2002.html#Perez02

Linear Concurrent Constraint Programming: Operational and Phase Semantics: Linear concurrent constraint programming: Operational and phase semantics

Autori: Fages, François Ruet, Paul Soliman, Sylvain

Prispievatelia: Fages, François Ruet, Paul Soliman, Sylvain

Zdroj: Information and Computation. 165:14-41

Predmety: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.), Semantics in the theory of computing, Proof-theoretic aspects of linear logic and other substructural logics, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Theoretical Computer Science, Computer Science Applications, Computational Theory and Mathematics, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), 0202 electrical engineering, electronic engineering, information engineering, Information Systems

Popis súboru: application/xml; application/pdf

Dynamic Spaces in Concurrent Constraint Programming

Autori: Nigam, Vivek Pimentel, Elaine Gouvea Vega, Carlos Alberto Olarte

Zdroj: Electronic Notes in Theoretical Computer Science

Predmety: Mobility, 2. Zero hunger, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, Linear Logic, 01 natural sciences, Theoretical Computer Science, Distributed Spaces, Subexponentials, 0202 electrical engineering, electronic engineering, information engineering, Concurrent Constraint Programming, Computer Science(all)

Popis súboru: application/pdf

Prístupová URL adresa: https://core.ac.uk/display/82331881
http://www.nigam.info/docs/lsfa-2013.pdf
https://repositorio.ufrn.br/jspui/handle/123456789/29778
https://doi.org/10.1016/j.entcs.2014.06.008
https://repositorio.ufrn.br/bitstream/123456789/29778/1/DynamicSpacesProgramming_VEGA_2014.pdf
https://www.sciencedirect.com/science/article/abs/pii/S1571066114000541

Session-based concurrency, declaratively

Autori: Mauricio Cano Hugo A. López Jorge A. Pérez a ďalší

Zdroj: Cano, M, Lopez, H A, Perez, J A & Rueda, C 2022, ' Session-based concurrency, declaratively ', Acta Informatica, vol. 59, pp. 37–123 . https://doi.org/10.1007/s00236-021-00395-w

Predmety: Artificial intelligence, Computer Networks and Communications, Session types, Geometry, 0102 computer and information sciences, 02 engineering and technology, Type Inference, 01 natural sciences, Theoretical computer science, Artificial Intelligence, Concurrency, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Constraint (computer-aided design), Encoding (memory), Theory of computation, CC-PI, 4. Education, Expressiveness, 16. Peace & justice, Linear Logic, Computer science, Session (web analytics), Programming language, Algorithm, World Wide Web, Computational Theory and Mathematics, Computer Science, Physical Sciences, Concurrent Constraint Programming, Program Analysis and Verification Techniques, Correctness, Distributed Fault Tolerance and Consistency in Systems, Mathematics, Formal Methods in Software Verification and Control

Popis súboru: application/pdf

Prístupová URL adresa: https://link.springer.com/content/pdf/10.1007/s00236-021-00395-w.pdf
https://research.rug.nl/en/publications/7f3841f9-25f4-409c-a6ca-4d2e127342f8
https://hdl.handle.net/11370/7f3841f9-25f4-409c-a6ca-4d2e127342f8
https://doi.org/10.1007/s00236-021-00395-w
https://www.narcis.nl/publication/RecordID/oai%3Acwi.nl%3A30714
https://link.springer.com/content/pdf/10.1007/s00236-021-00395-w.pdf
https://link.springer.com/article/10.1007/s00236-021-00395-w
https://curis.ku.dk/ws/files/297603582/Session_based_concurrency_declaratively.pdf

Sequentiality vs. concurrency in games and logic

Autori: Abramsky, S

Zdroj: Mathematical Structures in Computer Science. 13:531-565

Predmety: FOS: Computer and information sciences, Logic in computer science, Computer Science - Logic in Computer Science, Quantum Physics, FOS: Physical sciences, Proof-theoretic aspects of linear logic and other substructural logics, Mathematics - Logic, 0102 computer and information sciences, 16. Peace & justice, Logic programming, 01 natural sciences, Logic in Computer Science (cs.LO), Blass games, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), Applications of game theory, FOS: Mathematics, 0101 mathematics, Logic (math.LO), Quantum Physics (quant-ph)

Popis súboru: application/xml

Prístupová URL adresa: http://arxiv.org/pdf/1111.7159
http://arxiv.org/abs/1111.7159
https://dialnet.unirioja.es/servlet/articulo?codigo=661888
https://arxiv.org/abs/1111.7159
https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/sequentiality-vs-concurrency-in-games-and-logic/1DD38227B77FDB51A9A87ADC0054255F
https://dblp.uni-trier.de/db/journals/corr/corr1111.html#abs-1111-7159
http://www.journals.cambridge.org/abstract_S0960129503003980
https://www.arxiv-vanity.com/papers/1111.7159/
https://arxiv.org/abs/1111.7159
https://arxiv.org/pdf/1111.7159.pdf
https://ui.adsabs.harvard.edu/abs/2011arXiv1111.7159A/abstract
https://ora.ox.ac.uk/objects/uuid:0e478f62-6083-4152-b13a-38d9060e12ea

Rewritings for Polarized Multiplicative and Exponential Proof Structures

Autori: Fouqueré, Christophe Mogbil, Virgile Ian Mackie and Detlef Plump a ďalší

Prispievatelia: Fouqueré, Christophe Mogbil, Virgile Ian Mackie and Detlef Plump a ďalší

Zdroj: Electronic Notes in Theoretical Computer Science. 203:109-121

Predmety: proof-nets, [INFO.INFO-DC]Computer Science [cs]/Distributed, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], focalization, 0102 computer and information sciences, Parallel, 01 natural sciences, Theoretical Computer Science, logic programming, and Cluster Computing [cs.DC], linear logic, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0101 mathematics, concurrent execution, Computer Science(all)

Popis súboru: application/pdf

Prístupová URL adresa: https://core.ac.uk/display/82248796
https://www.sciencedirect.com/science/article/abs/pii/S1571066108001424
https://dblp.uni-trier.de/db/journals/entcs/entcs203.html#FouquereM08
https://hal.archives-ouvertes.fr/hal-00143929
https://hal.archives-ouvertes.fr/hal-00143929/document
https://www.sciencedirect.com/science/article/pii/S1571066108001424
https://hal.science/hal-00143929v1
https://hal.science/hal-00143929v1/document
https://doi.org/10.1016/j.entcs.2008.03.037

A Study of Abramsky’s Linear Chemical Abstract Machine: A study of Abramsky's linear chemical abstract machine

Autori: Yohji Akama Seikoh Mikami

Zdroj: Lecture Notes in Computer Science ISBN: 9783540657637

Predmety: 4. Education, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), Combinatory logic and lambda calculus, Proof-theoretic aspects of linear logic and other substructural logics, Functional programming and lambda calculus

Popis súboru: application/xml

Prístupová URL adresa: https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/63002/1/1096-6.pdf
https://zbmath.org/1511940
https://link.springer.com/chapter/10.1007%2F3-540-48959-2_18
https://dblp.uni-trier.de/db/conf/tlca/tlca99.html#MikamiA99
https://link.springer.com/content/pdf/10.1007%2F3-540-48959-2_18.pdf
http://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/63002
https://tohoku.pure.elsevier.com/en/publications/a-study-of-abramskys-linear-chemical-abstract-machine
https://rd.springer.com/chapter/10.1007%2F3-540-48959-2_18

Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets: Using logic programs with stable model semantics to solve deadlock and reachability problems for 1-safe Petri nets

Autori: Keijo Heljanko

Zdroj: Lecture Notes in Computer Science ISBN: 9783540657033

Predmety: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, Petri nets, 0102 computer and information sciences, 02 engineering and technology, Logic programming, 01 natural sciences

Popis súboru: application/xml

Prístupová URL adresa: https://link.springer.com/content/pdf/10.1007%2F3-540-49059-0_17.pdf
https://zbmath.org/1337888
https://link.springer.com/10.1007/3-540-49059-0_17
http://lib.tkk.fi/Diss/2002/isbn9512258935/article1.pdf
https://link.springer.com/content/pdf/10.1007/3-540-49059-0_17.pdf
https://link.springer.com/chapter/10.1007%2F3-540-49059-0_17
https://dblp.uni-trier.de/db/conf/tacas/tacas99.html#Heljanko99
https://rd.springer.com/chapter/10.1007%2F3-540-49059-0_17
https://researchportal.helsinki.fi/en/publications/using-logic-programs-with-stable-model-semantics-to-solve-deadloc
https://dblp.uni-trier.de/db/journals/fuin/fuin37.html#Heljanko99
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.baztech-article-BUS1-0007-0016
https://content.iospress.com/articles/fundamenta-informaticae/fi37-3-04

Linear behaviour of term graph rewriting programs

Autori: Banach, Richard Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Prispievatelia: Banach, Richard Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Zdroj: Proceedings of the ACM Symposium on Applied Computing
Proceedings of the 1995 ACM Symposium on Applied Computing

Predmety: Graph theory, Computer programming languages, Mathematical models, Linear concurrent programming, Linear programming, Computational methods, Computer architecture, Logic programming, Term graph rewriting (TGR) system

Prístupová URL adresa: http://gnosis.library.ucy.ac.cy/handle/7/53605

Relating State-Based and Process-Based Concurrency through Linear Logic

Autori: Andre Scedrov Iliano Cervesato

Zdroj: Electronic Notes in Theoretical Computer Science. 165:145-176

Predmety: FOS: Computer and information sciences, 0202 electrical engineering, electronic engineering, information engineering, Linear logic, 89999 Information and Computing Sciences not elsewhere classified, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, process algebra, 01 natural sciences, multiset rewriting, Theoretical Computer Science, Computer Science(all)

Prístupová URL adresa: https://dblp.uni-trier.de/db/journals/entcs/entcs165.html#CervesatoS06
http://repository.cmu.edu/cgi/viewcontent.cgi?article=1000&context=compsci
https://www.sciencedirect.com/science/article/pii/S1571066106005202
https://core.ac.uk/display/21176579
http://repository.cmu.edu/compsci/3/
https://www.sciencedirect.com/science/article/abs/pii/S1571066106005202

MELD: A Logical Approach to Distributed and Parallel Programming

Autori: CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE Goldstein, Seth C Cruz, Flavio

Zdroj: DTIC

Témy: Computer Programming and Software, Computer Systems, COMPUTER PROGRAMMING, DISTRIBUTED COMPUTING, METRICS, PARALLEL PROCESSING, PROGRAMMING LANGUAGES, CLUSTERING, COMPUTER LOGIC, OPTIMIZATION, PARALLEL PROCESSORS, TEST AND EVALUATION, VIRTUALIZATION, MELD PROGRAMMING LANGUAGE, PARALLEL PROGRAMMING, LOGIC PROGRAMMING, PARALLEL SYSTEMS, DISTRIBUTED SYSTEMS, LINEAR LOGIC, LOCALIZATION, LOCAL AGGREGATES, NEIGHBORHOOD AGGREGATES, EXECUTION MODEL, GRAPH CLUSTERING, MULTITHREADED EXECUTION, DISTRIBUTED COMPUTATION, VIRTUAL MACHINES, PE61101E, WUAFRLBI20CMU0, Text

URL: https://apps.dtic.mil/docs/citations/ADA557801

Agent-Oriented Programming in Linear Logic: An Example

Autori: James Harland Abdullah-Al Amin Michael Winikoff

Zdroj: Lecture Notes in Computer Science ISBN: 9783540679257

Prístupová URL adresa: https://link.springer.com/chapter/10.1007/3-540-44533-1_106
https://link.springer.com/content/pdf/10.1007%2F3-540-44533-1_106.pdf
http://core.ac.uk/display/22830624
https://dblp.uni-trier.de/db/conf/pricai/pricai2000.html#AminWH00