Search Results - distributed concurrent linear logic programming

Distributed concurrent linear logic programming by Kobayashi, Naoki, Shimizu, Toshihiro, Yonezawa, Akinori

“…We propose a framework of distributed concurrent linear logic programming, which can elegantly capture the essential features of distributed computation…”
Get full text

Relating state-based and process-based concurrency through linear logic (full-version) by Cervesato, Iliano, Scedrov, Andre

“… Concurrent and distributed systems are notoriously hard to get right. Therefore, following an approach that has proved highly beneficial for sequential programs, much effort has been invested in tracing the foundations of concurrency in logic…”
Get full text

Solar-DG and DSTATCOM Concurrent Planning in Reconfigured Distribution System Using APSO and GWO-PSO Based on Novel Objective Function by Saw, Bikash Kumar, Bohre, Aashish Kumar, Jobanputra, Jalpa H., Kolhe, Mohan Lal

“…The concurrent planning of multiple Distributed Generations (DGs), consisting of solar-DG and DSTATCOM with reconfiguration in IEEE 33 and 69 bus Radial Distribution Network (RDN…”
Get full text

Dynamic Spaces in Concurrent Constraint Programming by Olarte, Carlos, Nigam, Vivek, Pimentel, Elaine

“…Concurrent constraint programming (CCP) is a declarative model for concurrency where agents interact with each other by posting (telling…”
Get full text

Relating State-Based and Process-Based Concurrency through Linear Logic by Cervesato, Iliano, Scedrov, Andre

“… Concurrent and distributed systems are notoriously hard to get right. Therefore, following an approach that has proved highly beneficial for sequential programs, much effort has been invested in tracing the foundations of concurrency in logic…”
Get full text

A Data Mining Algorithm via Decentralized Optimization in Parallel or Distributed Systems: Mathematical Aspects by Gabidullina, Z. R., Doostmohammadian, M. R.

“…We present a new scalable data mining algorithm which can accurately recognize the position of a given pattern as internal, boundary, or external point…”
Get full text

CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics by Falke B Ø Carlsen, Lars Bo P Frydenskov, Jensen, Nicolaj Ø, Rasmussen, Jener, Sørensen, Mathias M, Weirsøe, Asger G, Jensen, Mathias C, Larsen, Kim G

“…) on concurrent game structures (CGS). We present how our tool encodes ATL as extended dependency graphs with negation edges and employs the distributed on-the-fly algorithm by Dalsgaard et al…”
Get full text

Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II by Fisman, Dana, Rosu, Grigore

“…This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems,…”
Get full text

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II by Vojnar, Tomás, Zhang, Lijun

Get full text

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II by Beyer, Dirk, Huisman, Marieke

“…computer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors…”
Get full text

The metric analogue of weak bisimulation for probabilistic processes by Desharnais, J., Jagadeesan, R., Gupta, V., Panangaden, P.

“…We observe that equivalence is not a robust concept in the presence of numerical information - such as probabilities-in the model. We develop a metric analogue…”
Get full text

Behavioural Types: From Theory to Tools by Gay, Simon, Ravara, António

“… A major example of such a property is correctness of communication in concurrent and distributed systems, motivated by the importance of structured communication in modern software. Behavioural Types…”
Get full text

On the Impact of Migration Parameters on DIMEP for Designing Combinational Circuits by Hadjam, F.Z., Moraga, C., Rahmouni, M.K.

“…: distributed multi expression programming (DMEP) to support the design of combinational logic circuits and investigates how the migration policy…”
Get full text

Embedding of rings and meshes onto faulty hypercubes using free dimensions by Pei-Ji Yang, Sing-Ban Tien, Raghavendra, C.S.

“… The authors consider tasks that require linear chain, ring, mesh, and torus structure, which are quite useful in parallel and pipeline computations…”
Get full text

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I by Vojnar, Tomás, Zhang, Lijun

Get full text

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I by Dillig, Isil, Tasiran, Serdar

“…; distributed systems and networks; verification and invariants; and concurrency…”
Get full text

Temporal logic properties of Java objects by Iosif, Radu, Sisto, Riccardo

“… and the languages used to describe system requirements. In this paper, we propose a formal requirement specification notation based on linear temporal logic, with regard to object oriented program elements, such as classes and interfaces…”
Get full text

Rewritings for Polarized Multiplicative and Exponential Proof Structures by Fouqueré, Christophe, Mogbil, Virgile

“…We study conditions for a concurrent construction of proof-nets in the framework of linear logic following Andreoli's works…”
Get full text

Model checking UML statecharts by Wei Dong, Ji Wang, Xuan Qi, Zhi-Chang Qi

“…Unified Modeling Language (UML) has been widely used in software development. Verifying if an UML model meets the required properties has become a key issue…”
Get full text

Maximally Concurrent Programs by Joshi, Rajeev, Misra, Jayadev

“… S . We argue that maximality is an important criterion in the context of designing concurrent programs because it disallows implementations that do not exhibit enough concurrency…”
Get full text