Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > sci.math > #639490

All-in-One DAM-GT: Wuhan, Hopcroft and Attention (Re: The Original Ganster (OG) of Bisimilarity are Hopcroft and Karp (1971))

Show all headers | View raw

Hi,

All-in-One: Wuhan, Hopcroft and Attention:

DAM-GT: Dual Positional Encoding-Based Attention
Masking Graph Transformer for Node Classification
https://arxiv.org/abs/2505.17660v1

LoL

Bye

Mild Shock schrieb:
> 
> The Original Ganster (OG) of Bisimilarity are
> Hopcroft and Karp (1971). These hand-outs discuss a
> coalgebra with the compound ->(_,_) and the atom -.
> Coalgebra seem to have the feature that both vertices
> 
> and edges have labels. The algorithm does attack a ~ b,
> and nf(a) respectively nf(b) at the same time by using
> union find. The algorithm is space linear, can be
> 
> implemented with an extra pointer in each Prolog compound
> for the union find. Mostlikely what SWI-Prolog does
> with reference to Folk Knowledge and Bart Demoen. The
> 
> algorithm is also almost time linear:
> 
> Bisimulation and Equirecursive Equality - 2014
> https://www.cs.cornell.edu/courses/cs6110/2014sp/Lectures/lec35a.pdf
> 
> Mild Shock schrieb:
>> Hi,
>>
>> Despite these efforts:
>>
>> The development of concurrent logic programming
>> was given an impetus when Guarded Horn Clause was
>> used to implement KL1, the systems programming
>> language of the Japanese Fifth Generation
>> Project (FGCS). The FGCS Project was a $400M
>> initiative by Japan's Ministry of International
>> Trade and Industry, begun in 1982, to use
>> massively parallel computing/processing for
>> artificial intelligence applications.
>> https://en.wikipedia.org/wiki/Concurrent_logic_programming
>>
>> And relation ship to rational trees, in
>> Alain Colmerauers WINDOW PRINCIPLE, mostlikely
>> Bisimulation has a more lasting impact.
>>
>> But who were the founding fathers of bisimulation?
>>
>> Robin Milner (1934–2010)
>> Primary founder of the concept of bisimulation. Introduced
>> the idea in the context of Calculus of Communicating
>> Systems (CCS) in the late 1970s and early 1980s. Bisimulation
>> became central to his work on concurrency theory. He won
>> the Turing Award in 1991, partly for this work.
>>
>> Gordon Plotkin
>> While not the originator of bisimulation itself,
>> Plotkin worked closely with Milner and contributed
>> significantly to the theoretical foundations of
>> operational semantics and domain theory, which
>> intersect with bisimulation.
>>
>> David Park
>> Credited with influencing the notion of bisimulation.
>> His unpublished manuscript (c. 1981) and personal
>> communications inspired Milner’s formalization.
>> He clarified the distinction between simulation
>> and bisimulation.
>>
>> Bye
> 

Back to sci.math | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Fathers of Bisimulation: Robin Milner (1934–2010) Mild Shock <janburse@fastmail.fm> - 2025-07-21 14:31 +0200
  Re: Fathers of Bisimulation: Robin Milner (1934–2010) Carlo XYZ <carloxyz@invalid.invalid> - 2025-07-21 22:28 +0200
    Re: Fathers of Bisimulation: Robin Milner (1934–2010) Mild Shock <janburse@fastmail.fm> - 2025-07-21 22:57 +0200
  From Bisimulation to Bisimilarity: A Complete Inference System (Re: Fathers of Bisimulation: Robin Milner (1934–2010)) Mild Shock <janburse@fastmail.fm> - 2025-07-21 22:55 +0200
    Bonus: Prolog Systems with Strings, Bigints, etc.. (Was: From Bisimulation to Bisimilarity: A Complete Inference System) Mild Shock <janburse@fastmail.fm> - 2025-07-21 23:01 +0200
      At least 3 methods for Bisimilarity [Python BisPy] (Re: Bonus: Prolog Systems with Strings, Bigints, etc..) Mild Shock <janburse@fastmail.fm> - 2025-07-21 23:30 +0200
        sets or tuples? be warned (Re: At least 3 methods for Bisimilarity [Python BisPy]) Mild Shock <janburse@fastmail.fm> - 2025-07-21 23:37 +0200
  The Original Ganster (OG) of Bisimilarity are Hopcroft and Karp (1971) (Re: Fathers of Bisimulation: Robin Milner (1934–2010)) Mild Shock <janburse@fastmail.fm> - 2025-07-22 00:56 +0200
    All-in-One DAM-GT: Wuhan, Hopcroft and Attention (Re: The Original Ganster (OG) of Bisimilarity are Hopcroft and Karp (1971)) Mild Shock <janburse@fastmail.fm> - 2025-08-06 15:11 +0200
      Re: All-in-One DAM-GT: Wuhan, Hopcroft and Attention (Re: The Original Ganster (OG) of Bisimilarity are Hopcroft and Karp (1971)) Walmo Bastanov <wo@oosv.ru> - 2025-08-06 15:11 +0000
        Russ bot warning ~~> Micro penis (Was: All-in-One DAM-GT: Wuhan, Hopcroft and Attention) Mild Shock <janburse@fastmail.fm> - 2025-08-07 10:58 +0200
  Cyclic term predicates suffer from ambiguity (Re: Fathers of Bisimulation: Robin Milner (1934–2010)) Mild Shock <janburse@fastmail.fm> - 2025-08-01 02:59 +0200
    An ISO term_variables/2 for Cyclic Terms (Re: Cyclic term predicates suffer from ambiguity) Mild Shock <janburse@fastmail.fm> - 2025-08-01 03:04 +0200
      ANN: Go Fund Me for ISO Core Standard of Prolog (Re: An ISO term_variables/2 for Cyclic Terms) Mild Shock <janburse@fastmail.fm> - 2025-10-09 18:13 +0200
        Fuck Around and Find Out : SWI-Prolog Forum [Newline FAFO] (Re: ANN: Go Fund Me for ISO Core Standard of Prolog) Mild Shock <janburse@fastmail.fm> - 2025-10-10 09:38 +0200
          Most Prolog Systems didn't solve it yet [Timer Trash] (Re: Fuck Around and Find Out : SWI-Prolog Forum [Newline FAFO]) Mild Shock <janburse@fastmail.fm> - 2025-10-10 09:52 +0200
            Moron @jp-diegidio clueless about Unicode (UAX#14) [Re: Most Prolog Systems didn't solve it yet [Timer Trash]) Mild Shock <janburse@fastmail.fm> - 2025-10-10 10:25 +0200
          Re: Fuck Around and Find Out : SWI-Prolog Forum [Newline FAFO] (Re: ANN: Go Fund Me for ISO Core Standard of Prolog) Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-10-10 20:32 -0700

csiph-web