Cover Image

GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Shapiro, Ehud
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Cryptography and Security Distributed, Parallel, and Cluster Computing Logic in Computer Science Multiagent Systems
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI
by: Shapiro, Ehud
Published: (2026)

Types for Grassroots Logic Programs
by: Shapiro, Ehud
Published: (2026)

JustAct+: A Framework for Auditable Multi-Agent Systems Regulated by Inter-Organisational Policies
by: Esterhuyse, Christopher A., et al.
Published: (2025)

Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis
by: De Sclavis, Francesco, et al.
Published: (2024)

Characterising Global Platforms: Centralised, Decentralised, Federated, and Grassroots
by: Shapiro, Ehud
Published: (2025)

Adversary-Augmented Simulation for Fairness Evaluation and Defense in Hyperledger Fabric
by: Mahe, Erwan, et al.
Published: (2025)

Ordered Consensus with Equal Opportunity
by: Zhang, Yunhao, et al.
Published: (2025)

Order Fairness Evaluation of DAG-based ledgers
by: Mahe, Erwan, et al.
Published: (2025)

mABC: multi-Agent Blockchain-Inspired Collaboration for root cause analysis in micro-services architecture
by: Zhang, Wei, et al.
Published: (2024)

Adversary-Augmented Simulation to evaluate fairness on HyperLedger Fabric
by: Mahe, Erwan, et al.
Published: (2024)

Grassroots Systems: Concept, Examples, Implementation and Applications
by: Shapiro, Ehud
Published: (2023)

Self-Supervised Inference of Agents in Trustless Environments
by: Larin, Vladyslav, et al.
Published: (2024)

Communication Modalities
by: Kuznets, Roman
Published: (2024)

Verification of Population Protocols with Unordered Data
by: van Bergerem, Steffen, et al.
Published: (2024)

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
by: Pham, Long, et al.
Published: (2023)

A Grassroots Architecture to Supplant Global Digital Platforms by a Global Digital Democracy
by: Shapiro, Ehud
Published: (2024)

ChonkyBFT: Consensus Protocol of ZKsync
by: França, Bruno, et al.
Published: (2025)

Towards a Formal Verification of Secure Vehicle Software Updates
by: Hagen, Martin Slind, et al.
Published: (2025)

Fast and Secure Decentralized Optimistic Rollups Using Setchain
by: Capretto, Margarita, et al.
Published: (2024)

Volitional Multiagent Atomic Transactions: Describing People and their Machines
by: Lewis-Pye, Andy, et al.
Published: (2026)

Grassroots Social Networking: Where People have Agency over their Personal Information and Social Graph
by: Shapiro, Ehud
Published: (2023)

LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning
by: Nguyen, Dung Thuy, et al.
Published: (2024)

Authenticated Workflows: A Systems Approach to Protecting Agentic AI
by: Rajagopalan, Mohan, et al.
Published: (2026)

LAFA: Agentic LLM-Driven Federated Analytics over Decentralized Data Sources
by: Ji, Haichao, et al.
Published: (2025)

HadAgent: Harness-Aware Decentralized Agentic AI Serving with Proof-of-Inference Blockchain Consensus
by: Jimenez, Landy, et al.
Published: (2026)

Type-Based Enforcement of Non-Interference for Choreographic Programming
by: Bertoni, Marco, et al.
Published: (2026)

An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language
by: Yao, Shucai, et al.
Published: (2025)

A Verified High-Performance Composable Object Library for Remote Direct Memory Access (Extended Version)
by: Ambal, Guillaume, et al.
Published: (2025)

Programming Distributed Collective Processes in the eXchange Calculus
by: Audrito, Giorgio, et al.
Published: (2024)

Zero-Trust Agentic Federated Learning for Secure IIoT Defense Systems
by: Singh, Samaresh Kumar, et al.
Published: (2025)

FLARE: Adaptive Multi-Dimensional Reputation for Robust Client Reliability in Federated Learning
by: Younesi, Abolfazl, et al.
Published: (2025)

Constitutional Governance in Metric Spaces
by: Shapiro, Ehud, et al.
Published: (2026)

Bloom Filter Look-Up Tables for Private and Secure Distributed Databases in Web3 (Revised Version)
by: Dolev, Shlomi, et al.
Published: (2026)

Multiple Concurrent Proposers: Why and How
by: Garimidi, Pranav, et al.
Published: (2025)

Stingray: Fast Concurrent Transactions Without Consensus
by: Sridhar, Srivatsan, et al.
Published: (2025)

Cordial Miners: Fast and Efficient Consensus for Every Eventuality
by: Keidar, Idit, et al.
Published: (2022)

Extending Data Spatial Semantics for Scale Agnostic Programming
by: Mars, Jason
Published: (2025)

Conthereum: Concurrent Ethereum Optimized Transaction Scheduling for Multi-Core Execution
by: Chahoki, Atefeh Zareh, et al.
Published: (2025)

Responsible Blockchain: STEADI Principles and the Actor-Network Theory-based Development Methodology (ANT-RDM)
by: Li, Yibai, et al.
Published: (2024)

Privacy-Preserving Distributed Learning for Residential Short-Term Load Forecasting
by: Dong, Yi, et al.
Published: (2024)