Algebraic specification of agent computation
type: Item
instance of: scholarly article
title: Algebraic specification of agent computation
zbMATH Open document ID: 1085.68093
author: David Kinny
published in: Applicable Algebra in Engineering, Communication and Computing
publication date: 2006-02-08T00:00:00Z
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68N99
Mathematics Subject Classification ID: 68N19
Mathematics Subject Classification ID: 68T05
zbMATH DE Number: 5004485
zbMATH Keywords: \(\Psi\)-calculus
describes a project that uses: AgentSpeak
describes a project that uses: Linda
MaRDI profile type: Publication
full work available at URL: s00200-005-0172-1
OpenAlex ID: W2076495537
cites work: The chemical abstract machine
cites work: Bisimulation can't be traced
cites work: Higher-level synchronising devices in Meije-SCCS
cites work: Q4385532
cites work: Q3198880
cites work: Generative communication in Linda
cites work: Q4423028
cites work: Q4739284
cites work: Q4002642
cites work: Conditional rewriting logic as a unified model of concurrency
cites work: Q4028821
cites work: Q4818861
cites work: Q4847024
DOI: 10.1007/S00200-005-0172-1
description: scientific article; zbMATH DE number 5004485